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

@prefix : <http://www.w3.org/2002/12/cal/test/graphCompare.n3#>.

{
  ?F1 log:uri "1".os:argv.os:baseAbsolute.
  ?F2 log:uri "2".os:argv.os:baseAbsolute.
} => { ?F1 :testingAgainst ?F2 }.

{
  [ log:semantics ?G1] :testingAgainst [log:semantics ?G2].
  ?G1 log:includes ?G2.
  ?G2 log:includes ?G1.
} => { :thisTest a :Success }.


{
  ?F1 :testingAgainst ?F2.
  ?F1 log:semantics ?G1. ?F2 log:semantics ?G2.
  ?G1 log:notIncludes ?G2.
} => { ?F1 :notIncludes ?F2 }.

{
  ?F1 :testingAgainst ?F2.
  ?F1 log:semantics ?G1. ?F2 log:semantics ?G2.
  ?G2 log:notIncludes ?G1.
} => { ?F2 :notIncludes ?F1 }.