# shorthand for universally quantified vars

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

{ ?x a :VeryBigThing } log:implies { ?x a :BigThing }.