<?xml version="1.0" encoding="UTF-8" ?>

<schema
 xmlns="http://www.w3.org/2001/XMLSchema" 
 xmlns:P3P="http://www.w3.org/2002/01/P3Pv1"
 xmlns:SIMT="http://preibusch.de/namespaces/SIMT/inferences"
 elementFormDefault="qualified"
 targetNamespace="http://preibusch.de/namespaces/SIMT/inferences">

  <import
   namespace="http://www.w3.org/2002/01/P3Pv1"
   schemaLocation="http://www.w3.org/2002/01/P3Pv1.xsd" />

  <element name="INFERENCES">
    <complexType>
      <sequence>
        <element ref="SIMT:INFERENCE" maxOccurs="unbounded" />
      </sequence>
    </complexType>
  </element>

  <element name="INFERENCE">
    <complexType>
      <sequence>
        <element ref="P3P:CONSEQUENCE" minOccurs="0" />
        <element ref="SIMT:GIVEN" />
        <element ref="SIMT:INDUCED" />
      </sequence>
    </complexType>
  </element>

  <element name="GIVEN">
    <complexType>
      <sequence>
        <group ref="SIMT:and_or" maxOccurs="unbounded" />
      </sequence>
    </complexType>
  </element>

  <element name="INDUCED">
    <complexType>
      <sequence>
        <element ref="P3P:DATA-GROUP" />
      </sequence>
    </complexType>
  </element>

  <element name="AND">
    <complexType>
      <group ref="SIMT:logical" />
    </complexType>
  </element>

  <element name="OR">
    <complexType>
      <group ref="SIMT:logical" />
    </complexType>
  </element>
  
  <group name="logical">
    <choice>
      <element ref="P3P:DATA-GROUP" />
      <group ref="SIMT:and_or" maxOccurs="unbounded" />
    </choice>
  </group>
  
  <group name="and_or">
    <choice>
      <element ref="SIMT:OR" />
      <element ref="SIMT:AND" />
    </choice>
  </group>

</schema>
