Assertion list
bipolar transistor (subgroup of transistor ) → HasProperty
Results from Ascent++: 1
bipolar transistor → HasProperty → superior 0.68