• [a-z]+: Identifier
• T: True
• F: False
• ! expr: Not
• expr & expr: And
• expr ^ expr: Xor
• expr | expr: Or
• expr > expr: Imply
• expr = expr: Equiv
• V id, expr: For all
• E id, expr: Exists