Assertion list for term "connected with first semiconductor region".
Results from Ascent++: 1
cathode → ReceivesAction → connected with first semiconductor region 0.25