Assertion list
input signal (subgroup of signal ) → HasA
Results from Ascent++: 2
input signal → HasA → amplitude 0.35
input signal → HasA → noise 0.25