+ * chrQuery ::= (chrQueryPart COMMA)* chrQueryPart
+ */
+ protected abstract Object reduceCHRConjunction();
+ /**
+ * chrQueryPart ::= exp
+ */
+ protected abstract Object reduceCHRAtom();
+ /**
+ * chrQueryPart ::= exp EQUALS exp
+ */
+ protected abstract Object reduceCHREquals();
+ /**
+ * chrQueryPart ::= exp BINDS exp