anchor.diff:  /* Antecedent */
   aTerm: NOT aTerm                                                                                                        #notAntecedent
        | functor (PAR_OPEN arguments=aTermSeries? PAR_CLOSE)?                                                             #compoundAntecedent
  -     | functor BRACE_OPEN (aMultiArg COMMA)* aMultiArg BRACE_CLOSE                                                      #multiAndCompoundAntecedent
  -     | functor BRACE_OPEN (aMultiArg SEMICOLON)* aMultiArg BRACE_CLOSE                                                  #multiOrCompoundAntecedent
  +     | 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
  
positive.code:           | cTerm
            ;
  
  cTermSeries: (cTerm COMMA)* cTerm ;
  
  /* Functors */
  functor: ID                                                                                                             #idFunctor
  
negative.code: 
  /* Consequence */
  cTerm: functor (PAR_OPEN arguments=cTermSeries? PAR_CLOSE)?                                                             #compoundConsequence
       | 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
  