## Rule `LITFORM_2`

`LITFORM` |  | '`Neg`' `Atom`

#### Description

`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>

Copyright © 2006 ILOG, Inc.; All Rights Reserved.