Showing:

Attributes
Diagrams
Instances
Model
Properties
Source
Used by
Element spec:then_2 / spec:then
Namespace http://ruleml.org/spec
Diagram
Properties
content complex
Model
Children spec:Rulebase
Instance
<spec:then xml:base="" xml:id="" xmlns:spec="http://ruleml.org/spec">
  <spec:Rulebase xml:base="" xml:id="" mapClosure="" mapDirection="" mapMaterial="" node="">{1,1}</spec:Rulebase>
</spec:then>
Attributes
QName Type Use
xml:base xs:anyURI optional
xml:id xs:ID optional
Source
<xs:element name="then">
  <xs:complexType>
    <xs:sequence>
      <xs:element ref="spec:Rulebase"/>
    </xs:sequence>
    <xs:attribute ref="xml:base"/>
    <xs:attribute ref="xml:id"/>
  </xs:complexType>
</xs:element>
Element Group spec:then_2
Namespace http://ruleml.org/spec
Diagram
Used by
Element spec:Entails
Model
Children spec:then
Source
<xs:group name="then_2">
  <xs:sequence>
    <xs:element name="then">
      <xs:complexType>
        <xs:sequence>
          <xs:element ref="spec:Rulebase"/>
        </xs:sequence>
        <xs:attribute ref="xml:base"/>
        <xs:attribute ref="xml:id"/>
      </xs:complexType>
    </xs:element>
  </xs:sequence>
</xs:group>