#!/bin/bash
# see http://notes.restdesc.org/2015/image-processing/
eye "$@" --tactic=linear-select http://notes.restdesc.org/2015/image-processing/instances.n3 http://notes.restdesc.org/2015/image-processing/resize.n3 http://notes.restdesc.org/2015/image-processing/blend.n3 http://notes.restdesc.org/2015/image-processing/crop.n3 --query http://notes.restdesc.org/2015/image-processing/goal.n3 > rdip_proof.n3