Assertion list
signal diode (subgroup of diode ) → CapableOf

Results from Ascent++: 1
signal diodeCapableOf pass rectifier diodes 0.68