#!/bin/bash
swipl -x ype.pvm -- "$@" --wcache http://josd.github.io/eye/reasoning .. --query http://josd.github.io/eye/reasoning/image/query.n3 --output easter-proof.n3
