<rdf:RDF
    xmlns:iw="http://inferenceweb.stanford.edu/2004/07/iw.owl#"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#">
  <owl:Class rdf:about="http://inferenceweb.stanford.edu/2004/07/iw.owl#Source"/>
  <owl:Class rdf:about="http://inferenceweb.stanford.edu/2004/07/iw.owl#Language"/>
  <owl:Class rdf:about="http://inferenceweb.stanford.edu/2004/07/iw.owl#DeclarativeRule"/>
  <owl:Class rdf:about="http://inferenceweb.stanford.edu/2004/07/iw.owl#Team"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/07/iw.owl#firstSubmissionDate"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/07/iw.owl#ruleSpec"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/07/iw.owl#name"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/07/iw.owl#lastSubmissionDate"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/07/iw.owl#hasSource"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/07/iw.owl#submitter"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/07/iw.owl#englishDescription"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/07/iw.owl#hasLanguage"/>
  <iw:Source rdf:about="http://inferenceweb.stanford.edu/registry/TM/SDS-TEAM.owl#SDS-TEAM"
     rdf:type="http://inferenceweb.stanford.edu/2004/07/iw.owl#Team"/>
  <rdf:List rdf:about="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/>
  <iw:Language rdf:about="http://inferenceweb.stanford.edu/registry/LG/KIF.owl#KIF"/>
  <iw:DeclarativeRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/MeetServicePrecondition.owl#MeetServicePrecondition"
     iw:firstSubmissionDate="20041111134912"
     iw:lastSubmissionDate="20041118003457">
    <iw:name>Meet Service Precondition</iw:name>
    <iw:englishDescription>This rule asserts that the preconditions to invoking a service have been met by the SDS "s". Currently this entails that the input "x" required to invoke service "r" can be translated from available input "a".</iw:englishDescription>
    <iw:hasSource rdf:parseType="Collection">
      <iw:Source rdf:about="http://inferenceweb.stanford.edu/registry/TM/SDS-TEAM.owl#SDS-TEAM"/>
    </iw:hasSource>
    <iw:submitter rdf:resource="http://inferenceweb.stanford.edu/registry/TM/SDS-TEAM.owl#SDS-TEAM"/>
    <iw:ruleSpec>(=>	(and 	(haveInput ?s ?a))
(hasInput ?r ?x)
			(haveTranslation ?a ?x))
		(meetServicePrecondition ?s ?r))</iw:ruleSpec>
    <iw:hasLanguage rdf:resource="http://inferenceweb.stanford.edu/registry/LG/KIF.owl#KIF"/>
  </iw:DeclarativeRule>
</rdf:RDF>