precedes
precedes
causally upstream of
p is causally upstream of q iff p is causally related to q, the end of p precedes the end of q, and p is not an occurrent part of q.
Chris Mungall
p is causally upstream of q if and only if p precedes q and p and q are linked in a causal chain
causally upstream of or within
requires discussion