Now outputs *basic* PROV. Doesn't validate due to PROV's temporal constraints but it's something to work with for now.