Showing:

Annotations
Diagrams
Model
Source
Used by
Complex Type ruleml:AssertRetractFormula.choice
Namespace http://ruleml.org/spec
Annotations
Formulas allowed in assertions and retractions: Simple formulas are allowed
in assertions and retractions in all sub-languages. Conjunctions and disjunctions are
allowed in assertions and retractions in sub-languages that contain these components.
Implications and universal quantifications is allowed in assertions and retractions for all
quantified sub-languages. Strong and weak negation are allowed in assertions and retractions
for all sub-languages that contain these components. Existential quantification is added to
assertions and retractions for full first-order sub-languages.
Diagram
Used by
Model
Children ruleml:Atom, ruleml:Equal, ruleml:Forall, ruleml:Implies
Source
<xs:complexType name="AssertRetractFormula.choice">
  <xs:annotation>
    <xs:documentation>Formulas allowed in assertions and retractions: Simple formulas are allowed in assertions and retractions in all sub-languages. Conjunctions and disjunctions are allowed in assertions and retractions in sub-languages that contain these components. Implications and universal quantifications is allowed in assertions and retractions for all quantified sub-languages. Strong and weak negation are allowed in assertions and retractions for all sub-languages that contain these components. Existential quantification is added to assertions and retractions for full first-order sub-languages.</xs:documentation>
  </xs:annotation>
  <xs:choice>
    <xs:group ref="ruleml:SimpleFormula-node.choice"/>
    <xs:group ref="ruleml:Implication-node.choice"/>
    <xs:group ref="ruleml:Forall-node.choice"/>
  </xs:choice>
</xs:complexType>