Assertion list
npn transistor (subgroup of transistor ) → CapableOf
Results from Ascent++: 1
npn transistor → CapableOf → switch loads of higher current 0.16