Rule Implies_1

Implies Atomic IF Formula 

XML Serialization Annotation

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

<Implies>
  <if>
XML serialization of the 3rd RHS symbol (Formula) 
  </if>
  <then>
XML serialization of the 1st RHS symbol (Atomic) 
  </then>
</Implies>

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