Assertion list
dress shirt (subgroup of shirt ) → HasProperty
Results from Ascent++: 1
dress shirt → HasProperty → comfortable 0.26