# $Id: gedcom.in.n3,v 1.9 2005/10/30 14:44:56 amdus Exp $

# PxButton | euler | bash .euler gedcom-facts.n3 gedcom-relations.n3 rpo-rules.n3 gedcom-query.n3
# PxButton | ep9   | bash .euler --prover9 gedcom-facts.n3 gedcom-relations.n3 rpo-rules.n3 gedcom.in.n3
# PxButton | test  | bash .euler --prover9 gedcom-facts.n3 gedcom-relations.n3 owl-rules.n3 rdfs-rules.n3 gedcom.in.n3
# PxButton | out   | bash .euler --prover9 gedcom-facts.n3 gedcom-relations.n3 rpo-rules.n3 gedcom.in.n3 > gedcom.out.n3

@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix gc: <http://www.daml.org/2001/01/gedcom/gedcom#>.
@prefix : <http://www.agfa.com/w3c/euler/gedcom-facts#>.

{?S gc:uncle ?A. ?A gc:mother ?M. ?M gc:daughter ?D. ?D gc:son ?S} => {}.
[ e:hint "assign(sos_limit,100000).assign(max_megs,800).set(quiet).clear(print_initial_clauses).clear(print_given)."].