Assertion list
subwoofer (primary) → IsA
Results from Ascent++: 3
subwoofer → IsA → speaker 0.64
subwoofer → IsA → complete loudspeaker 0.53
subwoofer → IsA → large speakers 0.44