definition: P unfolds_in C : the execution of P is spatially contained by C. forall pP, forall c' partipates_in p, c' located_in C at t, for some t in P
Should domain and range be updated to process and continuant? (currently both set to owl:Thing)
Thanks,
Melanie