## Rule `Rule_2`

`Rule` |  | `FORALL` `Vars_opt` `OPENPAR` `Clause` `CLOSEPAR`

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

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