<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#Team"/>
  <owl:Class rdf:about="http://inferenceweb.stanford.edu/2004/07/iw.owl#MethodRule"/>
  <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#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#submitter"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/07/iw.owl#englishExample"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/07/iw.owl#englishDescription"/>
  <iw:MethodRule rdf:about="http://inferenceweb.stanford.edu/registry/MPR/Func.owl#Func"
     iw:firstSubmissionDate="20041014145053"
     iw:lastSubmissionDate="20041014161757">
    <iw:name>Function Rule</iw:name>
    <iw:englishDescription>This proof step is used when the goal has been proved through some form of procedural attachment.</iw:englishDescription>
    <iw:englishExample>The goal (+ 3 2) would be solved by an arithmetic module, and the proof returned would be a FunctionProofStep.
</iw:englishExample>
    <iw:submitter rdf:resource="http://inferenceweb.stanford.edu/registry/TM/IW-TEAM.owl#IW-TEAM"
       rdf:type="http://inferenceweb.stanford.edu/2004/07/iw.owl#Team"/>
  </iw:MethodRule>
</rdf:RDF>