Assertion list for term "connected via first switch".
Results from Ascent++: 1
terminal (aspect of transistor) → ReceivesAction → connected via first switch 0.25