Assertion list
input impedance (aspect of amplifier ) → HasProperty

Results from Ascent++: 2
input impedanceHasProperty high 0.68
input impedanceHasProperty equal 0.37