Showing:

Annotations
Diagrams
Model
Source
Used by
Complex Type ruleml:AnyTerm.choice
Namespace http://ruleml.org/spec
Annotations
Terms may be simple or compound. Simple terms are either constant or
quantifiable (variable).
Diagram
Used by
Model
Children ruleml:Data, ruleml:Ind, ruleml:Reify, ruleml:Skolem, ruleml:Var
Source
<xs:complexType name="AnyTerm.choice">
  <xs:annotation>
    <xs:documentation>Terms may be simple or compound. Simple terms are either constant or quantifiable (variable).</xs:documentation>
  </xs:annotation>
  <xs:choice>
    <xs:group ref="ruleml:SimpleConstantTerm.choice"/>
    <xs:group ref="ruleml:SimpleQuantifiableTerm.choice"/>
  </xs:choice>
</xs:complexType>