<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:xsd="http://www.w3.org/2001/XMLSchema#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:daml="http://www.daml.org/2001/03/daml+oil#"
    xmlns:dc="http://purl.org/dc/elements/1.1/">
  <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#Team"/>
  <owl:Class rdf:about="http://inferenceweb.stanford.edu/2004/07/iw.owl#DeclarativeRule"/>
  <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#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:DeclarativeRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/Extraction.owl#Extraction">
    <iw:name>Extraction</iw:name>
    <iw:lastSubmissionDate rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >2006-05-08T17:59:05-08:00</iw:lastSubmissionDate>
    <iw:hasLanguage>
      <iw:Language rdf:about="http://inferenceweb.stanford.edu/registry/LG/N3.owl#N3"/>
    </iw:hasLanguage>
    <iw:firstSubmissionDate rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >2006-05-08T17:59:05-08:00</iw:firstSubmissionDate>
    <iw:hasSource rdf:parseType="Collection">
      <iw:Source rdf:about="http://inferenceweb.stanford.edu/registry/TM/TAMI-Team.owl#TAMI-Team">
        <rdf:type rdf:resource="http://inferenceweb.stanford.edu/2004/07/iw.owl#Team"/>
      </iw:Source>
    </iw:hasSource>
    <iw:englishDescription>And Elimination. It is the step of taking one statement out of a formula.  The step is identified by the :gives formula (the statement) and the :because step's :gives formula (the formula extracted from).
</iw:englishDescription>
    <iw:submitter rdf:resource="http://inferenceweb.stanford.edu/registry/TM/TAMI-Team.owl#TAMI-Team"/>
  </iw:DeclarativeRule>
</rdf:RDF>