<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: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#">
  <owl:Class rdf:about="http://inferenceweb.stanford.edu/2004/07/iw.owl#MethodRule"/>
  <iw:MethodRule rdf:about="http://inferenceweb.stanford.edu/registry/MPR/TamiTmsBigUnion.owl#TamiTmsBigUnion">
    <iw:submitter rdf:resource="http://inferenceweb.stanford.edu/registry/TM/IW-TEAM.owl#IW-TEAM"/>
    <iw:englishExample rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >Let S be a set of routine-uses of a System of Record Notice(SORN), for each S's element E, its purpose set is referred as X(E). This function return the union of the purpose sets of all elements of S.</iw:englishExample>
    <iw:englishDescription rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >(big-union E S X)
   union of sets X(E) where E is element of S
   result depends on S and X

   union of the purpose sets X(E) of a set of 

       X(E) = .....
       X is called on each element of S</iw:englishDescription>
    <iw:name rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >TAMI TMS big-union</iw:name>
    <iw:lastSubmissionDate rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >2007-02-14T11:45:52-08:00</iw:lastSubmissionDate>
    <iw:firstSubmissionDate rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >2007-02-14T11:35:51-08:00</iw:firstSubmissionDate>
  </iw:MethodRule>
</rdf:RDF>
