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

{ { <file:C:\web\util\cwm\b.n3> log:resolvesTo :x .
  <http://infomesh.net/#a> <http://infomesh.net/#b> <http://infomesh.net/#c> }
log:implies
{ :Test a :Success } } a log:Truth; log:forAll :x .