Assertion list
sound (aspect of speaker ) → HasA
Results from Ascent++: 1
sound → HasA → depth 0.16