#!/bin/bash
# resto test case pragmatic proof path
eye "$@" --tactic limited-answer 1 http://eulersharp.sourceforge.net/2007/07test/resto.n3 --query http://eulersharp.sourceforge.net/2007/07test/restoG.n3 > resto-proof.n3
eye "$@" --tactic limited-answer 1 http://eulersharp.sourceforge.net/2007/07test/resto2.n3 --query http://eulersharp.sourceforge.net/2007/07test/restoG.n3 > resto-proof2.n3