Assertion list
property (aspect of diode ) → HasProperty

Results from Ascent++: 1
propertyHasProperty useful 0.59