. "Such an example is permitted in PROV-DM if the two activities denoted by a0 and a2 are a single thing happening in the world" . . .