<xs:schema attributeFormDefault="unqualified" elementFormDefault="qualified" xmlns:xs="http://www.w3.org/2001/XMLSchema">
  <xs:element name="FactExpression">
    <xs:complexType>
      <xs:simpleContent>
        <xs:extension base="xs:string">
          <xs:attribute name="fact" use="required">
            <xs:simpleType>
              <xs:restriction base="xs:string">
                <xs:minLength value="1"/>
              </xs:restriction>
            </xs:simpleType>
          </xs:attribute>
        </xs:extension>
      </xs:simpleContent>
    </xs:complexType>
  </xs:element>
  <xs:element name="AndExpression">
    <xs:complexType>
      <xs:sequence>
        <xs:element ref="FactExpression" maxOccurs="unbounded" minOccurs="2"/>
      </xs:sequence>
    </xs:complexType>
  </xs:element>
  <xs:element name="OrExpression">
    <xs:complexType>
      <xs:choice maxOccurs="unbounded" minOccurs="2">
        <xs:element ref="AndExpression"/>
        <xs:element ref="FactExpression"/>
      </xs:choice>
    </xs:complexType>
  </xs:element>
  <xs:element name="resultFact" nillable="false">
    <xs:simpleType>
      <xs:restriction base="xs:string">
        <xs:minLength value="1"/>
      </xs:restriction>
    </xs:simpleType>
  </xs:element>
  <xs:element name="Rule">
    <xs:complexType>
        <xs:complexContent>
            <xs:restriction base="xs:anyType">
                <xs:sequence>
                    <xs:choice minOccurs="1" maxOccurs="unbounded">
                        <xs:element ref="OrExpression" minOccurs="0"/>
                        <xs:element ref="AndExpression" minOccurs="0"/>
                        <xs:element ref="FactExpression" minOccurs="0"/>
                    </xs:choice>
                    <xs:element ref="resultFact"/>
                </xs:sequence>
            </xs:restriction>
      </xs:complexContent>
    </xs:complexType>
  </xs:element>
  <xs:element name="Fact" nillable="false">
    <xs:simpleType>
      <xs:restriction base="xs:string">
        <xs:minLength value="1"/>
      </xs:restriction>
    </xs:simpleType>
  </xs:element>
  <xs:element name="Rules">
    <xs:complexType>
      <xs:sequence>
        <xs:element ref="Rule" maxOccurs="unbounded" minOccurs="1"/>
      </xs:sequence>
    </xs:complexType>
  </xs:element>
  <xs:element name="Facts">
    <xs:complexType>
      <xs:sequence maxOccurs="unbounded" minOccurs="1">
        <xs:element ref="Fact"/>
      </xs:sequence>
    </xs:complexType>
  </xs:element>
  <xs:element name="Rules_Facts">
    <xs:complexType>
      <xs:sequence>
        <xs:element ref="Rules"/>
        <xs:element ref="Facts"/>
      </xs:sequence>
    </xs:complexType>
  </xs:element>
</xs:schema>