<> <#rcsid> "$Id: sameGuyT.n3,v 1.2 2002/03/07 19:19:22 connolly Exp $".

@prefix log: <http://www.w3.org/2000/10/swap/log#>.

@prefix : <sameGuyT#>.

this log:forAll :P, :C.

{ ( [ is log:semantics of <sameGuyP.rdf>]
    [ is log:semantics of <ontAx.n3> ] )
      log:conjunction [ log:conclusion :P].

  <sameGuyC.rdf> log:semantics :C.

  :P log:includes :C.
}
log:implies {
  <#thisTest> a <#Success>.
}.