anchor.diff:            | cTerm
             ;
   
  -cTermSeries: (cTerm COMMA)* cTerm ;
  +cTermSeries: (terms+=cTerm COMMA)* terms+=cTerm ;
   
   /* Functors */
   functor: ID                                                                                                             #idFunctor
  
positive.code: 
  /* Consequence */
  cTerm: functor (PAR_OPEN arguments=cTermSeries? PAR_CLOSE)?                                                             #compoundConsequence
       | functor BRACE_OPEN (terms+=cMultiArg COMMA)* terms+=cMultiArg BRACE_CLOSE                                        #multiCompoundConsequence
       | BRACKET_OPEN (cTermSeries (VBAR BRACKET_OPEN cTerm? BRACKET_CLOSE)?)? BRACKET_CLOSE                              #listConsequence
       | variable=HID                                                                                                     #variableConsequence
       | STRING                                                                                                           #stringConsequence
  
negative.code: /* Antecedent */
  aTerm: NOT aTerm                                                                                                        #notAntecedent
       | functor (PAR_OPEN arguments=aTermSeries? PAR_CLOSE)?                                                             #compoundAntecedent
       | functor BRACE_OPEN (args+=aMultiArg COMMA)* args+=aMultiArg BRACE_CLOSE                                          #multiAndCompoundAntecedent
       | functor BRACE_OPEN (args+=aMultiArg SEMICOLON)* args+=aMultiArg BRACE_CLOSE                                      #multiOrCompoundAntecedent
       | BRACKET_OPEN (aTermSeries (VBAR BRACKET_OPEN aTerm? BRACKET_CLOSE)?)? BRACKET_CLOSE                              #listAntecedent
       | PAR_OPEN aTermExpr PAR_CLOSE                                                                                     #parAntecedent
       | variable=HID                                                                                                     #variableAntecedent
  