Curated Reasoning By Formal Modeling Of Provenance