Assertion list
subwoofer (primary) → HasPrerequisite
Results from Ascent++: 2
subwoofer → HasPrerequisite → less power 0.37
subwoofer → HasPrerequisite → more power 0.32