Assertion list for term "decreasing".

Results from Ascent++: 1
rate HasPropertydecreasing 0.33