Assertion list
amplitude (primary) → HasA
Results from Ascent++: 1
amplitude → HasA → large s/n ratio 0.25