Assertion list for term "move up in weight".

Results from Ascent++: 1
ward CapableOfmove up in weight 0.25