#!/bin/bash
cat socrates-metachain-proof.n3 | proofcheck --report | tee socrates-check.txt
