Property information
p is causally upstream of, negative effect q iff p is casually upstream of q, and the execution of p decreases 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 decreases the frequency, rate or extent of y