Assertion list
different size (subgroup of size ) → CapableOf
Results from Ascent++: 4
different size → CapableOf → home the trash 0.30
different size → CapableOf → decide on right one 0.25
different size → CapableOf → control the amount 0.25
different size → CapableOf → suit customized requirements 0.25