Assertion list for term "correspond to the value of proceeds".

Results from Ascent++: 1
sum CapableOfcorrespond to the value of proceeds 0.25