Assertion list for term "move to cover more or less area".

Results from Ascent++: 1
mute CapableOfmove to cover more or less area 0.33