noNamespace
element RULE

Documentation

A new meta rule.

Properties

This component is not nillable.

Model

<RULE
  name = xs:string>
(LINK, DESCRIPTION, PROOF )
</RULE>

name

Type:

xs:string

Use:

required

Form:

unqualified

Source

<xs:element name="RULE" substitutionGroup="NODETYPE">
  <xs:complexType>
    <xs:sequence>
      <xs:element name="LINK" minOccurs="0" maxOccurs="unbounded">
        <xs:complexType>
          <xs:attribute name="id" type="xs:string" use="required"/>
        </xs:complexType>
      </xs:element>
      <xs:element name="DESCRIPTION" minOccurs="1">
        <xs:complexType>
          <xs:sequence>
            <xs:element ref="LATEX" minOccurs="1" maxOccurs="unbounded"/>
          </xs:sequence>
        </xs:complexType>
      </xs:element>
      <xs:element name="PROOF" minOccurs="0" maxOccurs="unbounded">
        <xs:complexType>
          <xs:sequence>
            <xs:element ref="LATEX" minOccurs="1" maxOccurs="unbounded"/>
          </xs:sequence>
          <xs:attribute name="kind" type="xs:NMTOKEN" use="required"/>
          <xs:attribute name="level" type="xs:string" use="required"/>
        </xs:complexType>
      </xs:element>
    </xs:sequence>
    <xs:attribute name="name" type="xs:string" use="required"/>
  </xs:complexType>
</xs:element>