# $Id: xanthippe.n3 1295 2007-05-11 16:52:51Z josd $
# PxButton | test  | python euler.py xanthippe.n3
# PxButton | proof | python euler.py --why xanthippe.n3

@prefix list: <http://www.w3.org/2000/10/swap/list#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix : <http://eulersharp.sourceforge.net/2005/11swap/xanthippe#>.

:me :says ((:Tim a :Man) (:Dan a :Man)).
:he :says ((:Socrates a :Man) (:Xanthippe a :Woman)).

{?ANYONE :says ?WHAT. (?WHO a :Woman) list:in ?WHAT} => {?WHO a (:Mortal :Woman)}.

{?LIST rdf:first ?ITEM} => {?ITEM list:in ?LIST}.
{?LIST rdf:rest ?REST. ?ITEM list:in ?REST} => {?ITEM list:in ?LIST}.

{?WHO a ?WHAT} => [].