@prefix dc: <http://purl.org/dc/elements/1.1/>.
@prefix r: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix u: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix : <dc-filter#>.

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

this log:forAll :p.

{ :p a r:Property;
       u:isDefinedBy <http://purl.org/dc/elements/1.1/> }

 log:implies
  { { :x :p :v } log:implies { :x :p :v } }.