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