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

:mary :loves :john.
:mary :loves :fish.

this log:forAll :x.

#{:mary :loves :x} log:implies {:mary :loves []}. #eek!
{:mary :loves :x} log:implies {[:isBelovedOf :mary, :desiredBy :mary]}.