Assertion list for term "connected to positive battery terminal".
Results from Ascent++: 1
wire → ReceivesAction → connected to positive battery terminal 0.32