#!/bin/bash
eye "$@" --no-genid http://eulersharp.sourceforge.net/2007/07test/arc.n3 --proof http://eulersharp.sourceforge.net/2007/07test/witchE.n3 --query http://eulersharp.sourceforge.net/2007/07test/arc-goal.n3 > arcE.n3