<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#DeclarativeRule"/>
  <iw:DeclarativeRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/AND-Elimination.owl#AND-Elimination">
    <iw:hasLanguage rdf:resource="http://inferenceweb.stanford.edu/registry/LG/PPDR.owl#PPDR"/>
    <iw:firstSubmissionDate rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >2006-07-03T19:07:57-08:00</iw:firstSubmissionDate>
    <iw:ruleSpec rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >'(and ' p q ')' |- p;; (Sent p q)</iw:ruleSpec>
    <iw:englishExample rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >If we know that the car is blue and it has two doors then we know that the car is blue.</iw:englishExample>
    <iw:name rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >ND and elimination</iw:name>
    <iw:submitter rdf:resource="http://inferenceweb.stanford.edu/registry/TM/IW-TEAM.owl#IW-TEAM"/>
    <iw:englishDescription rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >If we know that both A and B are true we can conclude that A is true.</iw:englishDescription>
    <iw:lastSubmissionDate rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >2006-07-03T19:07:58-08:00</iw:lastSubmissionDate>
  </iw:DeclarativeRule>
</rdf:RDF>