Showing:

Annotations
Diagrams
Model
Source
Used by
Element Group ruleml:Implies.main
Namespace http://ruleml.org/spec
Annotations
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.
Diagram
Used by
Model
Children ruleml:if, ruleml:then
Source
<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>