Assertion list
input (aspect of amplifier ) → HasA
Results from Ascent++: 2
input → HasA → output 0.68
input → HasA → priority 0.25