more detail for prov activities, correct some semantics