Assertion list
dress shirt (subgroup of shirt ) → HasA
Results from Ascent++: 1
dress shirt → HasA → pleat 0.25