#!/bin/bash
# music test case to generate all proof paths
eye "$@" --think http://eulersharp.sourceforge.net/2007/07test/music.n3 --query http://eulersharp.sourceforge.net/2007/07test/music-query.n3 > music-proof.n3
# but here they can not be shown in the proof
eye "$@" --think http://eulersharp.sourceforge.net/2007/07test/music.n3 http://eulersharp.sourceforge.net/2007/07test/music-rule.n3 --query http://eulersharp.sourceforge.net/2007/07test/music-query2.n3 > music-proof2.n3