Assertion list for term "move each other".

Results from Ascent++: 1
atom CapableOfmove each other 0.31