Assertion list for term "leave negative terminal of the battery".
Results from Ascent++: 1
electron → CapableOf → leave negative terminal of the battery 0.40