Assertion list for term "terminate the arrangement".

Results from Ascent++: 1
right CapableOfterminate the arrangement 0.26