Assertion list
wireless subwoofer (subgroup of subwoofer ) → HasProperty
Results from Ascent++: 1
wireless subwoofer → HasProperty → compact 0.59