Assertion list for term "move into hole".

Results from Ascent++: 1
electron CapableOfmove into hole 0.42