Syntax of FOL: Basic elements
		n Constants   KingJohn, 2, NUS,... n Predicates   Brother, >,... n Functions   Sqrt, LeftLegOf,... n Variables   x, y, a, b,... n Connectives   , , , ,  n Equality   = n Quantifiers     , 