## 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.