## Rule `Formula_4`

`Formula` |  | `EXISTS` `Vars` `OPENPAR` `Formula` `CLOSEPAR`

#### XML Serialization Annotation This rule has the following XML serialization annotation:
      [
        localname	= "Exists"
        children	= (
                        declare*2
                        formula.4
                      )
      ]
> This means that a `Formula` derived through this rule will be serialized thus:
>     <Exists>
>       <declare*>
> XML serialization of the 2nd RHS symbol (`Vars`)
>       </declare*>
>       <formula>
> XML serialization of the 4th RHS symbol (`Formula`)
>       </formula>
>     </Exists>

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