Assertion list
anode (aspect of diode ) → HasProperty
Results from Ascent++: 2
anode → HasProperty → positive 0.84
anode → HasProperty → more positive than the cathode 0.25