Assertion list
size diaper (subgroup of diaper ) → HasA
Results from Ascent++: 1
size diaper → HasA → snap 0.35