Assertion list
terminal (aspect of diode ) → HasProperty

Results from Ascent++: 1
terminalHasProperty positive 0.42