Showing:

Annotations
Diagrams
Model
Source
Used by
Element Group ruleml:Forall.main
Namespace http://ruleml.org/spec
Annotations
Universally qualified formulas contain a sequence of bound variables and one
formula.
Diagram
Used by
Complex Type ruleml:Forall.type.def
Model
Children ruleml:declare, ruleml:formula
Source
<xs:group name="Forall.main">
  <xs:annotation>
    <xs:documentation>Universally qualified formulas contain a sequence of bound variables and one formula.</xs:documentation>
  </xs:annotation>
  <xs:sequence>
    <xs:group ref="ruleml:boundVariables.choice"/>
    <xs:group ref="ruleml:formula_Forall-edge.choice"/>
  </xs:sequence>
</xs:group>