Assertion list
pocket diaper (subgroup of diaper ) → CapableOf
Results from Ascent++: 1
pocket diaper → CapableOf → come with insert 0.34