Showing:

Annotations
Diagrams
Model
Source
Used by
Element Group ruleml:Atom.main
Namespace http://ruleml.org/spec
Annotations
The main section of an atomic formula contains an operator edge and a
collection of argument edges. Pre-fix operator notation for atomic formulas is required in a
normal-form serialization.
Diagram
Used by
Complex Type ruleml:Atom.type.def
Model
Children ruleml:arg, ruleml:op
Source
<xs:group name="Atom.main">
  <xs:annotation>
    <xs:documentation>The main section of an atomic formula contains an operator edge and a collection of argument edges. Pre-fix operator notation for atomic formulas is required in a normal-form serialization.</xs:documentation>
  </xs:annotation>
  <xs:sequence>
    <xs:group ref="ruleml:operatorForAtoms-edge.choice"/>
    <xs:group ref="ruleml:argumentsForAtoms.sequence"/>
  </xs:sequence>
</xs:group>