## Rule `QUANTIF_2`

`QUANTIF` |  | '`Forall`' `Var_plus` '`(`' `CONDIT` '`)`'

#### Description

This represents an existentially quantified formula using prefixed '`Forall`' followed by zero or more `Var`s and a `CONDIT` between parentheses. Its XML serialization form is:
           <rcl:Forall>
             (XML serialization of Var_plus)
             (XML serialization of CONDIT)
           </rcl:Forall>

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