@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

true <= {{?R a rdf:Statement; rdf:subject ?S; rdf:predicate ?P; rdf:object ?O} e:becomes {?S ?P ?O}}.
