Assertion list
woofer (aspect of speaker ) → IsA
Results from Ascent++: 1
woofer → IsA → loudspeaker 0.25