Assertion list for term "connected with second semiconductor region".

Results from Ascent++: 1
contact ReceivesActionconnected with second semiconductor region 0.30