bind log: . bind rules: . <> log:forAll <#x> , <#y> . { <#x> rules:author <#y> . } log:implies { <#y> rules:hasPublication <#x> .}.