The main section of an implication contains two edges, a premise (body, if)edge and a conclusion (head, then) edge. In the normal-form serialization, the if and thenof an implication must occur in canonical order.

<xs:group name="Implies.main"><xs:annotation><xs:documentation>The main section of an implication contains two edges, a premise (body, if) edge and a conclusion (head, then) edge. In the normal-form serialization, the if and then of an implication must occur in canonical order.</xs:documentation></xs:annotation><xs:sequence><xs:group ref="ruleml:body_Implies.name.choice"/><xs:group ref="ruleml:head_Implies.name.choice"/></xs:sequence></xs:group>