Assertion list for term "go to 0v".

Results from Ascent++: 1
voltage (aspect of capacitor) CapableOfgo to 0v 0.36