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

@forAll :X.

{ :a :b :X } log:implies { :a :c :X }.