#!/bin/bash
eye "$@" --wcache http://josd.github.io/eye/reasoning/cs . --nope http://josd.github.io/eye/reasoning/cs/data-001.n3 http://josd.github.io/eye/reasoning/cs/rules-001.n3 --query http://josd.github.io/eye/reasoning/cs/query-001.n3 > answer-001.n3
eye "$@" --wcache http://josd.github.io/eye/reasoning/cs . http://josd.github.io/eye/reasoning/cs/data-001.n3 http://josd.github.io/eye/reasoning/cs/rules-001.n3 --query http://josd.github.io/eye/reasoning/cs/query-001.n3 > proof-001.n3
