# $Id: etc4.n3,v 1.11 2005/09/22 11:50:37 amdus Exp $

# PxButton | run web    | java -Xmx800m euler.EulerRunner --step 8000000 etc4.n3
# PxButton | run local  | java -Xmx800m euler.EulerRunner --local --step 8000000 etc4.n3
# PxButton | run web#   | Euler --step 8000000 etc4.n3
# PxButton | run local# | Euler --local --step 8000000 etc4.n3
# PxButton | run output | java -Xmx800m euler.EulerRunner --local --step 8000000 http://www.agfa.com/w3c/euler/etc4.n3 > etc4-proof.n3

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

()!log:conjunction => <http://www.agfa.com/w3c/euler/etc3-proof.n3>!log:semantics.