Assertion list
lead (aspect of transistor ) → HasProperty

Results from Ascent++: 1
leadHasProperty negative 0.25