Sintassi delle Assertion

Una possibile sintassi per realizzare le Assertion :

<assertion>::=<expr> <rel-op> <expr>
<expr>::= (<expr>) | <class-id> | <expr> <set-op> <expr>

<rel-op>::= EQU | INCLUSION | CONTAINMENT | DISJOINTNESS | OVERLAP
<set-op>::= DIFFERENCE | UNION | INTERSECTION

La sintassi proposta e' abbastanza semplice , si potrebbe pensare di costruire un apposito parser per il controllo