Assertion list
car subwoofer (subgroup of subwoofer ) → IsA
Results from Ascent++: 1
car subwoofer → IsA → speaker 0.68