BOOLEAN:
Content Model Declaration

Content Rule

(((quantified|forall|exists)|
  (boolean|and|or|implies|iff|not)|
  (atomic|relation|equal))|comment)*