causally upstream of or within

p is 'causally upstream or within' q iff p is causally related to q, and the end of p precedes, or is coincident with, the end of q.

editor note

We would like to make this disjoint with 'preceded by', but this is prohibited in OWL2