# $Id: subprop.n3,v 1.3 2001/12/01 01:21:28 amdus Exp $

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

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

:Mary :firstHusband :Dan.

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