#Processed by Id: cwm.py,v 1.92 2002/03/22 21:36:00 timbl Exp 
        #    using base file:/home/connolly/w3ccvs/WWW/2002/03owlt/sameGuyT.n3
        
#  Notation3 generation by
#       notation3.py,v 1.107 2002/03/22 21:36:00 timbl Exp

#   Base was: file:/home/connolly/w3ccvs/WWW/2002/03owlt/sameGuyT.n3
     @prefix : <http://www.w3.org/2000/10/swap/log#> .
     @prefix contact: <http://www.w3.org/2000/10/swap/pim/contact#> .
     @prefix ex: <http://example/vocab#> .
     @prefix ont: <http://www.daml.org/2001/03/daml+oil#> .
     @prefix ontA: <http://www.w3.org/2002/03owlt/ontAx#> .
     @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
     @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
    
    this     :forAll <#C>,
                <#P> .
    
    <>     <#rcsid> "$Id: sameGuyR.n3,v 1.3 2002/04/23 23:05:46 connolly Exp $" .
    
    <#thisTest>     a <#Success> .
    {
        this     :forSome <#_g1>,
                    <#_g3> .
        <ontAx.n3>     :semantics <#_g3> .
        <sameGuyC.rdf>     :semantics <#C> .
        <sameGuyP.rdf>     :semantics <#_g1> .
        <#P>     :includes <#C> .
          ( <#_g1> 
            <#_g3>  )
             :conjunction  [
                 :conclusion <#P> ] .
        
        }     :implies {<#thisTest>     a <#Success> .
        } .
    
#ENDS