TEXT
|_(module |
| |_(import |
| | |_(comment*) ...
| |
| |__exclude |
| | |_(term)*
| | |_((function,
| | | |_(term, ...
| | | |__comment*) ...
| | |
| | |___term+)?, ...
| | |__comment*) ...
| |
| |
| |__phrase | ...
| |__comment)* ...
|
|__phrase |
| |_(((quantified |
| | |_(guard?,
| | | |_(term, ...
| | | |__comment*) ...
| | |
| | |__var+,
| | | |_(comment*) ...
| | |
| | |__((quantified | ...
| | |____forall | ...
| | |____exists) | ...
| | |___(boolean | ...
| | |____and | ...
| | |____or | ...
| | |____implies | ...
| | |____iff | ...
| | |____not) | ...
| | |___(atomic | ...
| | |____relation | ...
| | |____equal)), ...
| | |__comment*) ...
| |
| |____forall |
| | |_(guard?, ...
| | |__var+, ...
| | |__((quantified | ...
| | |____forall | ...
| | |____exists) | ...
| | |___(boolean | ...
| | |____and | ...
| | |____or | ...
| | |____implies | ...
| | |____iff | ...
| | |____not) | ...
| | |___(atomic | ...
| | |____relation | ...
| | |____equal)), ...
| | |__comment*) ...
| |
| |____exists) |
| | |_(guard?, ...
| | |__var+, ...
| | |__((quantified | ...
| | |____forall | ...
| | |____exists) | ...
| | |___(boolean | ...
| | |____and | ...
| | |____or | ...
| | |____implies | ...
| | |____iff | ...
| | |____not) | ...
| | |___(atomic | ...
| | |____relation | ...
| | |____equal)), ...
| | |__comment*) ...
| |
| |___(boolean |
| | |_(((quantified | ...
| | |____forall | ...
| | |____exists) | ...
| | |___(boolean | ...
| | |____and | ...
| | |____or | ...
| | |____implies | ...
| | |____iff | ...
| | |____not) | ...
| | |___(atomic | ...
| | |____relation | ...
| | |____equal)) | ...
| | |__comment)* ...
| |
| |____and |
| | |_(((quantified | ...
| | |____forall | ...
| | |____exists) | ...
| | |___(boolean | ...
| | |____and | ...
| | |____or | ...
| | |____implies | ...
| | |____iff | ...
| | |____not) | ...
| | |___(atomic | ...
| | |____relation | ...
| | |____equal)) | ...
| | |__comment)* ...
| |
| |____or |
| | |_(((quantified | ...
| | |____forall | ...
| | |____exists) | ...
| | |___(boolean | ...
| | |____and | ...
| | |____or | ...
| | |____implies | ...
| | |____iff | ...
| | |____not) | ...
| | |___(atomic | ...
| | |____relation | ...
| | |____equal)) | ...
| | |__comment)* ...
| |
| |____implies |
| | |_((((quantified | ...
| | |_____forall | ...
| | |_____exists) | ...
| | |____(boolean | ...
| | |_____and | ...
| | |_____or | ...
| | |_____implies | ...
| | |_____iff | ...
| | |_____not) | ...
| | |____(atomic | ...
| | |_____relation | ...
| | |_____equal)), ...
| | |___((quantified | ...
| | |_____forall | ...
| | |_____exists) | ...
| | |____(boolean | ...
| | |_____and | ...
| | |_____or | ...
| | |_____implies | ...
| | |_____iff | ...
| | |_____not) | ...
| | |____(atomic | ...
| | |_____relation | ...
| | |_____equal))), ...
| | |__comment*) ...
| |
| |____iff |
| | |_((((quantified | ...
| | |_____forall | ...
| | |_____exists) | ...
| | |____(boolean | ...
| | |_____and | ...
| | |_____or | ...
| | |_____implies | ...
| | |_____iff | ...
| | |_____not) | ...
| | |____(atomic | ...
| | |_____relation | ...
| | |_____equal)), ...
| | |___((quantified | ...
| | |_____forall | ...
| | |_____exists) | ...
| | |____(boolean | ...
| | |_____and | ...
| | |_____or | ...
| | |_____implies | ...
| | |_____iff | ...
| | |_____not) | ...
| | |____(atomic | ...
| | |_____relation | ...
| | |_____equal))), ...
| | |__comment*) ...
| |
| |____not) |
| | |_(((quantified | ...
| | |____forall | ...
| | |____exists) | ...
| | |___(boolean | ...
| | |____and | ...
| | |____or | ...
| | |____implies | ...
| | |____iff | ...
| | |____not) | ...
| | |___(atomic | ...
| | |____relation | ...
| | |____equal)), ...
| | |__comment*) ...
| |
| |___(atomic |
| | |_(relation, ...
| | |__(term* | ...
| | |___role*),
| | | |_(term, ...
| | | |__comment*) ...
| | |
| | |__comment*) ...
| |
| |____relation |
| | |_(term, ...
| | |__comment*) ...
| |
| |____equal)),
| | |_(term, ...
| | |__term) ...
| |
| |__comment*) ...
|
|__comment)*
|_(#PCDATA |
|__comment)* ...
Top Elements
All Elements
Tree