PROV-ISSUE-212 (three-vs-two-levels): Shold we distinguish between things, entities and entity records in the semantics or just have entities and entity records [Formal Semantics]
PROV-ISSUE-370 (tracedTo-inference-only): Should tracedTo be moved to prov-constraints and be defined as a binary relation that can be inferred [prov-dm]