Assertion list
closed headphone (subgroup of headphone ) → HasProperty
Results from Ascent++: 1
closed headphone → HasProperty → good 0.59