Showing:

Annotations
Diagrams
Model
Source
Used by
Element Group ruleml:argumentsForAtoms.sequence
Namespace http://ruleml.org/spec
Annotations
Slotted arguments follow positional arguments in atomic formulas in the
normal-form serialization.
Diagram
Used by
Element Group ruleml:Atom.main
Model
Children ruleml:arg
Source
<xs:group name="argumentsForAtoms.sequence">
  <xs:annotation>
    <xs:documentation>Slotted arguments follow positional arguments in atomic formulas in the normal-form serialization.</xs:documentation>
  </xs:annotation>
  <xs:sequence>
    <xs:group ref="ruleml:positionalArgumentsForAtoms.sequence"/>
  </xs:sequence>
</xs:group>