#!/bin/bash
eye "$@" --nope http://eulersharp.sourceforge.net/2007/07test/parteval.n3 --query http://eulersharp.sourceforge.net/2007/07test/parteval_query.n3 > parteval_answer.n3
eye "$@" --traditional http://eulersharp.sourceforge.net/2007/07test/parteval.n3 --query http://eulersharp.sourceforge.net/2007/07test/parteval_query.n3 | proofcheck > parteval_proofcheck.n3