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