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

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

{ <#q> daml:equivalentTo <#p> . <#x> <#p> <#y> . } 
   log:implies 
{ <#x> <#q> <#y> .} .