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