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.