Assertion list
terminal (aspect of diode ) → HasA

Results from Ascent++: 1
terminalHasA an input impedance 0.25