## Rule `Atom_1`

`Atom` |  | `Const` `OPENPAR` `UniTermBody` `CLOSEPAR`

#### XML Serialization Annotation This rule has the following XML serialization annotation:
      [
        localname	= "Atom"
        children	= (
                        op.1
                        arg*3
                      )
      ]
> This means that a `Atom` derived through this rule will be serialized thus:
>     <Atom>
>       <op>
> XML serialization of the 1st RHS symbol (`Const`)
>       </op>
>       <arg*>
> XML serialization of the 3rd RHS symbol (`UniTermBody`)
>       </arg*>
>     </Atom>
N.B.: an XML construct such as `<arg*>...</arg*>` stands for either zero, one, or many occurrences of `<arg>...</arg>`. distributed over the element's contents (the "`...`"), which, accordingly, may be either empty, a single XML element, or a list thereof.

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