@prefix dc: . @prefix r: . @prefix u: . @prefix : . @prefix log: . this log:forAll :p. { :p a r:Property; u:isDefinedBy } log:implies { { :x :p :v } log:implies { :x :p :v } }.