Property information
p is causally upstream of q if and only if p precedes q and p and q are linked in a causal chain
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.