Rule Formula_5

Formula EXTERNAL OPENPAR Atom CLOSEPAR 


XML Serialization Annotation

This rule has the following XML serialization annotation:
  [
    localname	= "External"
    children	= ( 
                    content.3
                  )
  ]
This means that a Formula derived through this rule will be serialized thus:

<External>
  <content>
XML serialization of the 3rd RHS symbol (Atom)
  </content>
</External>


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