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

 @forAll :x, :y, :z .
   [ :blargh ("y" "z") ] .
   { :x :blargh :y } log:implies { :y :blarghOf :x } .

# see spb2.n3 for original
#ends