Property information
p is causally upstream of, positive effect q iff p is casually upstream of q, and the execution of p is required for the execution of q.
comment
holds between x and y if and only if x is causally upstream of y and the progression of x increases the frequency, rate or extent of y