Contains classes defining first-order formulae.