Assertion list
audio amplifier (subgroup of amplifier ) → HasA
Results from Ascent++: 1
audio amplifier → HasA → differential inputs 0.68