#Processed by Id: cwm.py,v 1.93 2002/05/14 22:11:04 timbl Exp 
        #    using base file:/home/connolly/w3ccvs/WWW/2002/03owlt/ontT.n3
        
#  Notation3 generation by
#       notation3.py,v 1.108 2002/05/15 00:38:10 timbl Exp

#   Base was: file:/home/connolly/w3ccvs/WWW/2002/03owlt/ontT.n3
     @prefix : <http://www.w3.org/2000/10/swap/log#> .
     @prefix c: <http://www.w3.org/2000/10/swap/pim/contact#> .
     @prefix dc: <http://purl.org/dc/elements/1.1/> .
     @prefix doc: <http://www.w3.org/2000/10/swap/pim/doc#> .
     @prefix ont: <http://www.daml.org/2001/03/daml+oil#> .
     @prefix ontA: <http://www.w3.org/2002/03owlt/ontAx#> .
     @prefix os: <http://www.w3.org/2000/10/swap/os#> .
     @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
     @prefix rdfg1: <http://www.w3.org/1999/02/22-rdf-syntax-ns#"> .
     @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
     @prefix rr: <../../2000/10/swap/util/rdfs-rules#> .
     @prefix tr: <http://www.w3.org/2001/02pd/rec54#> .
    
    this     :forAll <#C>,
                <#P> .
    
    <>     <#rcsid> "$Id: sem-intersectionR.n3,v 1.3 2002/05/28 23:00:09 connolly Exp $" .
    {
        this     :forSome <#_g1>,
                    <#_g11>,
                    <#_g3>,
                    <#_g5>,
                    <#_g7> .
        "1"     os:argv <#_g3> .
        "2"     os:argv <#_g11> .
        <../../2000/10/swap/util/rdfs-rules.n3>     :semantics <#_g7> .
        <ontAx.n3>     :semantics <#_g5> .
        <#P>     :includes <#C> .
          [      :semantics <#C>;
                 :uri <#_g11> ].
        
          [      :semantics <#_g1>;
                 :uri <#_g3> ].
        
          ( <#_g1> 
            <#_g5> 
            <#_g7>  )
             :conjunction  [
                 :conclusion <#P> ] .
        
        }     :implies {<#thisTest>     a <#Success>;
             <#_conc> <#C>;
             <#_premise> <#P> .
        } .
    
#ENDS