#!/bin/bash
eye "$@" --nope http://eulersharp.sourceforge.net/2007/07test/turing.n3 --query=http://eulersharp.sourceforge.net/2007/07test/turingQ.n3 > turingA.n3
eye "$@" http://eulersharp.sourceforge.net/2007/07test/turing.n3 --query=http://eulersharp.sourceforge.net/2007/07test/turingQ.n3 > turing_proof.n3