<-- Ready to Review -->
<e> in <SET>
<e>
<SET>
<e> not in <SET>
exists {<e> in <SET>} <expression>
<expression>
forall {<e> in <SET>} <expression>
<SUBSET> within <SET>
<SUBSET>