Assertion list
operational amplifier (subgroup of amplifier ) → HasA
Results from Ascent++: 2
operational amplifier → HasA → non-inverting input terminal 0.58
operational amplifier → HasA → positive input terminal 0.25