[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