Assertion list
size diaper (subgroup of diaper ) → CapableOf
Results from Ascent++: 1
size diaper → CapableOf → fit baby 0.81