Assertion list for term "reduce the result".

Results from Ascent++: 1
correction CapableOfreduce the result 0.29