`RCL_forall.grm`

    // Additional rule for QUANTIF:

    // QUANTIF  ::= 'Forall' Var+ '(' CONDIT ')'

    QUANTIF
      : 'Forall' Var_plus '(' CONDIT ')'

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>

         [ rcl:Forall 2 4 ]        // XML serialization pattern
      ;

This file was generated on Thu Sep 21 08:10:12 PDT 2006 from file `RCL_forall.grm`
by the `ilog.language.tools.Hilite` Java tool written by Hassan Aït-Kaci