## Rule `Formula_5`

`Formula` |  | `EXTERNAL` `OPENPAR` `Atom` `CLOSEPAR`

#### XML Serialization Annotation This rule has the following XML serialization annotation:
      [
        localname	= "External"
        children	= (
                        content.3
                      )
      ]
> This means that a `Formula` derived through this rule will be serialized thus:
>     <External>
>       <content>
> XML serialization of the 3rd RHS symbol (`Atom`)
>       </content>
>     </External>

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