anchor.diff:      :   'Array'
       ;
   
  +AUX_CODE
  +    :   'Aux_Code'
  +    ;
  +
  +AUX_VAR
  +    :   'Aux_Var'
  +    ;
  +
  +AUXILIARY
  +    :   'Aux'
  +    |   'Auxiliary'
  +    ;
  +
   AXIOM
       :   'Axiom'
       ;
  
positive.code: CLEARS
      :   'clr'
      |   'clears'
      ;
  
  CONCEPT
  
negative.code:     ;
  
  ELSE
      :   'Else'
      ;
  
  END
  