<rdf:RDF
    xmlns:rdfs='http://www.w3.org/2000/01/rdf-schema#'
    xmlns:iw='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#'
    xmlns:daml='http://www.daml.org/2001/03/daml+oil#'
    xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#'>
    <rdfs:Class rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#Axiom'/>
    <rdfs:Class rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#DerivedRule'/>
    <rdfs:Class rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#WFF'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#EnglishDescriptionTemplate'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#DescribedFrom'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#TacticOfAxiom'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#InferenceRuleSource'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#URL'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#LastSubmissionDate'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#FirstSubmissionDate'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#Name'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#Submitter'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#EnglishExample'/>
    <iw:DerivedRule
         iw:URL=''
         iw:EnglishDescriptionTemplate=''
         iw:EnglishExample=''>
        <iw:Name>Superprocess starts before or equal subprocess</iw:Name>
        <iw:Submitter>http://www.ksl.stanford.edu/software/IW/registry/SRC/IW-TEAM.daml</iw:Submitter>
        <iw:FirstSubmissionDate>Sat Jun 07 22:43:06 PDT 2003</iw:FirstSubmissionDate>
        <iw:LastSubmissionDate>Sat Jun 07 23:01:47 PDT 2003</iw:LastSubmissionDate>
        <iw:InferenceRuleSource
             rdf:type='http://www.daml.org/2001/03/daml+oil#List'/>
        <iw:TacticOfAxiom rdf:resource='http://www.ksl.stanford.edu/software/IW/registry/DR/DEM-GMP-SuperProcBeforeOrEqual.daml'
             rdf:type='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#Axiom'/>
        <iw:DescribedFrom rdf:resource='http://www.ksl.stanford.edu/software/IW/registry/DR/DEM-GMP-SuperProcBeforeOrEqual/IW95.daml#IW95'
             rdf:type='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#WFF'/>
    </iw:DerivedRule>
</rdf:RDF>