`RCL_neg.grm`

    // Additional rule for LITFORM:

    // LITFORM  ::= 'Neg' Atom

    LITFORM
      : 'Neg' Atom

$Neg$ is classical negation as defined in first-order logic; special uses of it can be shared by FO and all dialects that support a form of classical negation (e.g., certain dialects of LP; perhaps some PR dialects). Its XML serialization form is:
           <rcl:Neg>
             (XML serialization of $Atom$)
           </rcl:Neg>

         [ rcl:Neg 2 ]     // XML serialization pattern
      ;

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