@prefix log: <http://www.w3.org/2000/10/swap/log.n3#> .
@prefix foaf:  <http://xmlns.com/foaf/0.1/#> .
@prefix : <knows.n3#> .

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

{ [ foaf:name <#x> ] foaf:mbox <#y> . <#a> foaf:knows <#y> . }
log:implies
{ <#a> foaf:knows [ foaf:name <#x> ] . } .