Assertion list
collector (aspect of transistor ) → HasProperty
Results from Ascent++: 2
collector → HasProperty → negative 0.40
collector → HasProperty → positive 0.35