: <> "" . # { } log:implies { } . @prefix log: <http://www.w3.org/2000/10/swap/log.n3#> . @prefix : <#> . <> log:forAll :, :dummy .