Assertion list for term "move in the void".

Results from Ascent++: 1
atom CapableOfmove in the void 0.33