Assertion list for term "represent net proceeds".

Results from Ascent++: 1
check CapableOfrepresent net proceeds 0.28