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.