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

@forAll :X.

:a :b :X.