Rule Formula_4

Formula EXISTS Vars OPENPAR Formula CLOSEPAR 

XML Serialization Annotation

This rule has the following XML serialization annotation: 
  [
    localname	= "Exists"
    children	= ( 
                    declare*2
                    formula.4
                  )
  ]
This means that a Formula derived through this rule will be serialized thus: 

<Exists>
  <declare*>
XML serialization of the 2nd RHS symbol (Vars) 
  </declare*>
  <formula>
XML serialization of the 4th RHS symbol (Formula) 
  </formula>
</Exists>

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