## Rule `QUANTIF_1`

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

#### Description

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

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