PHRASE

Content

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

ATTRIBUTES
CONTENT DECLARATION

Tag Minimization

Open Tag: REQUIRED
Close Tag: REQUIRED

Parent Elements

• module
• text

Top Elements
All Elements
Tree