Assertion list for term "exceed 25.00".

Results from Ascent++: 1
fine CapableOfexceed 25.00 0.25