bind log: <http://www.w3.org/2000/10/swap/log.n3> .
bind rules: <coinedBy.n3> .

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

{ <#x> rules:coinedBy <#y> . } log:implies { <#y> rules:coined <#x> .}.