#!/bin/bash
eye "$@" --tactic limited-answer 1 http://eulersharp.sourceforge.net/2007/07test/dpe_theory.n3 http://eulersharp.sourceforge.net/2007/07test/dpe_assumption.n3 --query http://eulersharp.sourceforge.net/2007/07test/dpe_query.n3 > dpe_answer.n3