Assertion list for term "connected to the power supply".

Results from Ascent++: 1
gate ReceivesActionconnected to the power supply 0.25