Assertion list
audio signal (subgroup of signal ) → HasA
Results from Ascent++: 1
audio signal → HasA → different frequency channels 0.25