Work on well-formedness criteria; recommend mapping to PROV