Assertion list
operational amplifier (subgroup of amplifier ) → IsA
Results from Ascent++: 1
operational amplifier → IsA → an amplifier circuit 0.36