Assertion list
input (aspect of amplifier ) → HasProperty

Results from Ascent++: 4
inputHasProperty active 0.70
inputHasProperty high 0.48
inputHasProperty positive 0.37
inputHasProperty negative 0.25