Assertion list for term "begin charging through r1".

Results from Ascent++: 1
capacitor CapableOfbegin charging through r1 0.31