Showing:

Annotations
Diagrams
Model
Source
Used by
Complex Type ruleml:ConclusionFormula.choice
Namespace http://ruleml.org/spec
Annotations
formulas allowed to be conclusions include atomic formulas.
Diagram
Used by
Model
Children ruleml:And, ruleml:Atom, ruleml:Equal, ruleml:Exists, ruleml:Or
Source
<xs:complexType name="ConclusionFormula.choice">
  <xs:annotation>
    <xs:documentation>formulas allowed to be conclusions include atomic formulas.</xs:documentation>
  </xs:annotation>
  <xs:choice>
    <xs:group ref="ruleml:Atom-head-node.choice"/>
    <xs:group ref="ruleml:Equal-head-node.choice"/>
    <xs:group ref="ruleml:And-head-node.choice"/>
    <xs:group ref="ruleml:Or-head-node.choice"/>
    <xs:group ref="ruleml:Exists-head-node.choice"/>
  </xs:choice>
</xs:complexType>