type Term =
// Constants
| False
| True

// Variables
| Var of int

// Quantifiers
| All of Var list * Term

// Predicates
| Eqv of Term * Term
| Not of Term
| Or of Term list

// Comparison
| Equal of Term * Term