Showing:

Annotations
Diagrams
Model
Source
Used by
Element Group ruleml:Or.main
Namespace http://ruleml.org/spec
Annotations
The main section of the disjunction content model contains zero or more
formula edges.
Diagram
Used by
Model
Children ruleml:formula
Source
<xs:group name="Or.main">
  <xs:annotation>
    <xs:documentation>The main section of the disjunction content model contains zero or more formula edges.</xs:documentation>
  </xs:annotation>
  <xs:sequence>
    <xs:group maxOccurs="unbounded" minOccurs="0" ref="ruleml:formula_Or-edge.choice"/>
  </xs:sequence>
</xs:group>