<?xml version="1.0"?>
<xsd:schema xmlns:xsd="http://www.w3.org/2001/XMLSchema"
      targetNamespace="http://ii5.ap.siedlce.pl/entish"
      xmlns="http://ii5.ap.siedlce.pl/entish"
      elementFormDefault="qualified">
    <xsd:include schemaLocation="formula.xsd"/>
<!-- 
    Xsd schema defining fact, i.e., Entish evaluated formula. 
    Authors: S. Ambroszkiewicz, D. Mikulowski, and D. Pawluczuk 
    http://www.ipipan.waw.pl/mas 
    Last modified April 2, 2003
-->
 <xsd:element name="signedInfo">
    <xsd:complexType>
      <xsd:sequence>
        <xsd:element ref="info"/>
        <xsd:element name="signature" type="xsd:anyURI" minOccurs="0"/>
      </xsd:sequence>
    </xsd:complexType>
  </xsd:element>
  
  <xsd:element name="info">
    <xsd:complexType>
      <xsd:sequence> 
        <xsd:element ref="formula"/>
        <xsd:element name="place" type="xsd:anyURI"/>
        <xsd:element name="time" type="xsd:time"/>
      </xsd:sequence>
    </xsd:complexType>
  </xsd:element>
  
  <xsd:complexType name="listOfInfos">
    <xsd:sequence>
      <xsd:element ref="signedInfo" maxOccurs="unbounded" minOccurs="0"/>
    </xsd:sequence>
  </xsd:complexType>

</xsd:schema>  

