Assertion list for term "move into extension".

Results from Ascent++: 1
knee CapableOfmove into extension 0.31