`RCL_nafneg.grm`

    // Additional rule for LITFORM:

    // LITFORM  ::= 'Naf' 'Neg' Atom

    LITFORM
      : 'Naf' 'Neg' Atom

This allows one legal nesting of the two kinds of negations, for which we propose to use the notation $Naf$/$Neg$, as in RuleML: Its XML serialization form is:
           <rcl:NafNeg>
             (XML serialization of $Atom$)
           </rcl:NafNeg>

         [ rcl:NafNeg 3 ]  // XML serialization pattern
      ;

This file was generated on Thu Oct 05 10:28:30 CEST 2006 from file `RCL_nafneg.grm`
by the `ilog.language.tools.Hilite` Java tool written by Hassan Aït-Kaci