File:FOL2.A.Syntax.20170117.pdf