Assertion list for term "return the weight".

Results from Ascent++: 1
lifter CapableOfreturn the weight 0.60