Showing:

Annotations
Diagrams
Model
Source
Used by
Element Group ruleml:SimpleFormula-node.choice
Namespace http://ruleml.org/spec
Annotations
atomic formulas are a kind of simple formula
Diagram
Used by
Model
Children ruleml:Atom, ruleml:Equal
Source
<xs:group name="SimpleFormula-node.choice">
  <xs:annotation>
    <xs:documentation>atomic formulas are a kind of simple formula</xs:documentation>
  </xs:annotation>
  <xs:choice>
    <xs:group ref="ruleml:Atom-node.choice"/>
    <xs:group ref="ruleml:Equal-node.choice"/>
  </xs:choice>
</xs:group>