@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix rgml: <http://purl.org/puninj/2001/05/rgml-schema#> .
@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix rgmlr: <rgml_rules#> .
@prefix : <#> .

this log:forAll :x , :y .
{:x rgmlr:path :y} log:implies {:x rgmlr:path :y}.

#ENDS