Assertion list for term "move to lower one".

Results from Ascent++: 1
electron CapableOfmove to lower one 0.32