Assertion list
base (aspect of transistor ) → IsA
Results from Ascent++: 1
base → IsA → the gate controller device 0.25