Assertion list
cathode (aspect of diode ) → HasProperty
Results from Ascent++: 1
cathode → HasProperty → positive 0.68