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

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

{  <#p> daml:inverseOf <#q> . } log:implies

{
  {
    { <#x> <#p> <#y>. } log:implies { <#y> <#q> <#z>. }
  } a log:Truth; log:forAll <#x> , <#y> , <#p>, <#q> .
} .

<#author> daml:inverseOf <#hasPublication> .
<#myPaper> <#author> <#me> .
<#myOtherPaper> <#author> <#me> .
<#herPaper> <#author> <#her> .
<#ourPaper> <#author> <#her>, <#me> .