Assertion list for term "choose to remove the three legs".

Results from Ascent++: 1
mover CapableOfchoose to remove the three legs 0.25