Assertion list for term "correspond to positive result".

Results from Ascent++: 1
output CapableOfcorrespond to positive result 0.25