Showing:

Attributes
Diagrams
Instances
Model
Properties
Source
Used by
Element ruleml:Entails
Namespace http://ruleml.org/spec
Diagram
Properties
content complex
Used by
Model
Children ruleml:if, ruleml:meta, ruleml:then
Instance
<ruleml:Entails xml:base="" xml:id="" node="" xmlns:ruleml="http://ruleml.org/spec">
  <ruleml:meta xml:base="" xml:id="">{0,unbounded}</ruleml:meta>
  <ruleml:if xml:base="" xml:id="">{1,1}</ruleml:if>
  <ruleml:then xml:base="" xml:id="">{1,1}</ruleml:then>
</ruleml:Entails>
Attributes
QName Type Use
node xs:anyURI optional
xml:base xs:anyURI optional
xml:id xs:ID optional
Source
<xs:element name="Entails">
  <xs:complexType>
    <xs:sequence>
      <xs:element minOccurs="0" maxOccurs="unbounded" ref="ruleml:meta"/>
      <xs:group ref="ruleml:if_2"/>
      <xs:group ref="ruleml:then_2"/>
    </xs:sequence>
    <xs:attribute name="node" type="xs:anyURI"/>
    <xs:attribute ref="xml:base"/>
    <xs:attribute ref="xml:id"/>
  </xs:complexType>
</xs:element>
Attribute ruleml:Entails / @node
Namespace No namespace
Type xs:anyURI
Properties
content simple
Used by
Element ruleml:Entails
Source
<xs:attribute name="node" type="xs:anyURI"/>