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

this log:forAll :s, :p, :q, :o.
{ :s :p :o. :p :genlPreds :q } log:implies { :s :q :o }. 

:firstHusband :genlPreds :husband.
:husband :genlPreds :spouse.

:Mary :firstHusband :Dan.