Assertion list
input impedance (aspect of amplifier ) → IsA

Results from Ascent++: 1
input impedanceIsA the impedance 0.25