Assertion list
closed headphone (subgroup of headphone ) → HasA
Results from Ascent++: 1
closed headphone → HasA → solid outer shell 0.68