Assertion list
particle size (subgroup of size ) → CapableOf
Results from Ascent++: 2
particle size → CapableOf → achieve in the aggregation step 0.38
particle size → CapableOf → become smaller 0.25