Assertion list for term "downward slope".

Results from Ascent++: 1
plot HasAdownward slope 0.30