FORALL

Content

• and
• atomic
• boolean
• comment
• equal
• exists
• forall
• guard
• iff
• implies
• not
• or
• quantified
• relation
• var

ATTRIBUTES
CONTENT DECLARATION

Tag Minimization

Open Tag: REQUIRED
Close Tag: REQUIRED

Parent Elements

• and
• boolean
• exists
• forall
• iff
• implies
• not
• or
• phrase
• quantified

Top Elements
All Elements
Tree