#!/bin/bash
eye "$@" --nope http://eulersharp.sourceforge.net/2006/02swap/fgcm-plugin.n3 http://eulersharp.sourceforge.net/2003/03swap/fl-rules.n3 http://eulersharp.sourceforge.net/2007/07test/patient.n3 http://eulersharp.sourceforge.net/2007/07test/fgcm-model.n3 --query http://eulersharp.sourceforge.net/2007/07test/fgcm-query.n3 > fgcm_result.n3
eye "$@" http://eulersharp.sourceforge.net/2006/02swap/fgcm-plugin.n3 http://eulersharp.sourceforge.net/2003/03swap/fl-rules.n3 http://eulersharp.sourceforge.net/2007/07test/patient.n3 http://eulersharp.sourceforge.net/2007/07test/fgcm-model.n3 --query http://eulersharp.sourceforge.net/2007/07test/fgcm-query.n3 > fgcm_proof.n3