Assertion list
terminal (aspect of transistor ) → MadeOf
Results from Ascent++: 1
terminal → MadeOf → doped semiconductor material 0.31