# $Id: graph.lemma.n3,v 1.28 2006/05/27 12:19:30 amdus Exp $

# PxButton | test  | java euler.EulerRunner --think graph.axiom.n3 rpo-rules.n3 graph.lemma.n3
# PxButton | test> | java euler.EulerRunner --think graph.axiom.n3 rpo-rules.n3 graph.lemma.n3 > graph.proof.n3
# PxButton | test# | Euler --think graph.axiom.n3 rpo-rules.n3 graph.lemma.n3

@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.agfa.com/w3c/euler/graph.axiom#>.

:paris :path :nantes.