#!/bin/bash
eye "$@" --nope http://eulersharp.sourceforge.net/2006/02swap/nbbn-plugin.n3 http://eulersharp.sourceforge.net/2007/07test/nbbn-model.n3 --query http://eulersharp.sourceforge.net/2007/07test/nbbn-query.n3 > nbbn_result.n3
eye "$@" http://eulersharp.sourceforge.net/2006/02swap/nbbn-plugin.n3 http://eulersharp.sourceforge.net/2007/07test/nbbn-model.n3 --query http://eulersharp.sourceforge.net/2007/07test/nbbn-query.n3 > nbbn_proof.n3