Showing:

Annotations
Diagrams
Model
Source
Used by
Element Group ruleml:Implication-node.choice
Namespace http://ruleml.org/spec
Annotations
a convenience pattern that unifies implications and equivalences because
equivalence is allowed wherever implication is allowed.
Diagram
Used by
Model
Children ruleml:Implies
Source
<xs:group name="Implication-node.choice">
  <xs:annotation>
    <xs:documentation>a convenience pattern that unifies implications and equivalences because equivalence is allowed wherever implication is allowed.</xs:documentation>
  </xs:annotation>
  <xs:sequence>
    <xs:group ref="ruleml:Implies-node.choice"/>
  </xs:sequence>
</xs:group>