<> <#rcsid> "$Id: ontT.n3,v 1.2 2002/04/15 18:05:14 connolly Exp $".

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

@prefix : <ontT#>.

this log:forAll :P, :C.

{ ( [ is log:semantics of [ log:uri [ is os:argv of "1"]]]
    [ is log:semantics of <ontAx.n3> ]
    [ is log:semantics of <../../2000/10/swap/util/rdfs-rules.n3> ]
   )
      log:conjunction [ log:conclusion :P].

  [ log:uri [ is os:argv of "2"]] log:semantics :C.

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