anchor.diff:  
   /* Consequence */
   cTerm: functor (PAR_OPEN arguments=cTermSeries? PAR_CLOSE)?                                                             #compoundConsequence
  -     | functor BRACE_OPEN (terms+=cMultiArg COMMA)* terms+=cMultiArg BRACE_CLOSE                                        #multiCompoundConsequence
  +     | functor BRACE_OPEN (args+=cMultiArg COMMA)* args+=cMultiArg BRACE_CLOSE                                          #multiCompoundConsequence
        | BRACKET_OPEN (cTermSeries (VBAR BRACKET_OPEN cTerm? BRACKET_CLOSE)?)? BRACKET_CLOSE                              #listConsequence
        | variable=HID                                                                                                     #variableConsequence
        | STRING                                                                                                           #stringConsequence
  
positive.code:           | cTerm
            ;
  
  cTermSeries: (cTerm COMMA)* cTerm ;
  
  /* Functors */
  functor: ID                                                                                                             #idFunctor
  
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
  