Assertion list
size diaper (subgroup of diaper ) → HasProperty
Results from Ascent++: 1
size diaper → HasProperty → bulky 0.16