<rdf:RDF
    xmlns:iw="http://inferenceweb.stanford.edu/2004/03/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/03/iw.owl#Team"/>
  <owl:Class rdf:about="http://inferenceweb.stanford.edu/2004/03/iw.owl#DeclarativeRule"/>
  <owl:Class rdf:about="http://inferenceweb.stanford.edu/2004/03/iw.owl#Language"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/03/iw.owl#name"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/03/iw.owl#ruleSpec"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/03/iw.owl#firstSubmissionDate"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/03/iw.owl#lastSubmissionDate"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/03/iw.owl#hasLanguage"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/03/iw.owl#submitter"/>
  <iw:DeclarativeRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/GMPwU.owl#GMPwU"
     iw:firstSubmissionDate="20040513180825"
     iw:lastSubmissionDate="20040513180825">
    <iw:name>Generalized Modus Pones with Unification</iw:name>
    <iw:submitter rdf:resource="http://inferenceweb.stanford.edu/registry/TM/IW-TEAM.owl#IW-TEAM"
       rdf:type="http://inferenceweb.stanford.edu/2004/03/iw.owl#Team"/>
    <iw:ruleSpec>A; '(implies ( and ' B ')' q ')' |- q[mgsu(A, B)];; (Sent A B q) ; (= card(A) card(B))</iw:ruleSpec>
    <iw:hasLanguage rdf:resource="http://inferenceweb.stanford.edu/registry/LG/PPDR.owl#PPDR"
       rdf:type="http://inferenceweb.stanford.edu/2004/03/iw.owl#Language"/>
  </iw:DeclarativeRule>
</rdf:RDF>