Property information
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.
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.