Assertion list for term "positive value".

Results from Ascent++: 2
derivative HasApositive value 0.31
speed HasApositive value 0.25