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

{ { <file:C:\web\spalmer\WWW\2001\03\earl\0.95.n3> log:resolvesTo :x .
    :x log:includes { earl:Evaluation :y :z } }
log:implies
{ :x a :EARLFile } } a log:Truth; log:forAll :x , :y , :z .