Showing:

Diagrams
Model
Source
Used by
Element Group ruleml:formula_Exists-head-edge.choice
Namespace http://ruleml.org/spec
Diagram
Used by
Element Group ruleml:Exists-head.main
Model
Children ruleml:formula
Source
<xs:group name="formula_Exists-head-edge.choice">
  <xs:sequence>
    <xs:group ref="ruleml:formula_Exists-head.edge.def"/>
  </xs:sequence>
</xs:group>