FORALL:
Content Model Declaration

Content Rule

(guard?,var+,
 ((quantified|forall|exists)|
  (boolean|and|or|implies|iff|not)|
  (atomic|relation|equal)),comment*)