Assertion list for term "connected to charging circuit".
Results from Ascent++: 1
output (aspect of gate) → ReceivesAction → connected to charging circuit 0.25