WHERE ruleDeclarations # RuleDefinition
| MAPPING_RELATION ID atype* # MappingRelationDefinition
| bexp FOLLOWS ruleDeclarations # RelationDefinition
+ | RULESET ID WHERE statements # RulesetDefinition
;
import
| chrQuery IMPLIES chrQuery # CHRStatement
| WHEN verboseChrQuery THEN_AFTER_WHEN verboseChrQuery # VerboseCHRStatement
| CONSTRAINT ID atype* # ConstraintStatement
+ | INCLUDE ID aexp # LocalInclude
;
chrQuery