Assertion list for term "decide on right one".

Results from Ascent++: 1
different size (subgroup of size) CapableOfdecide on right one 0.25