Assertion list for term "move around the box".

Results from Ascent++: 1
rat CapableOfmove around the box 0.32