@prefix log: <http://www.w3.org/2000/10/swap/log.n3> .
@prefix rules: <bmwdeeley.n3> .

<>   log:forAll <#x> , <#y> .

{ <#y> rules:macht <#x> . }
     log:implies
{ <#y> rules:power <#x> . } .