Showing:

Annotations
Diagrams
Model
Source
Used by
Element Group ruleml:TruthValuedConnective.header
Namespace http://ruleml.org/spec
Annotations
In the normal-form serialization, the order of header elements is: an
optional header element sequence as defined in Node.header, followed by optional object
identifier and degree
Diagram
Used by
Model
Children ruleml:meta
Source
<xs:group name="TruthValuedConnective.header">
  <xs:annotation>
    <xs:documentation>In the normal-form serialization, the order of header elements is: an optional header element sequence as defined in Node.header, followed by optional object identifier and degree</xs:documentation>
  </xs:annotation>
  <xs:sequence>
    <xs:group minOccurs="0" ref="ruleml:Node.header"/>
  </xs:sequence>
</xs:group>