Assertion list
charge (aspect of capacitor ) → AtLocation
Results from Ascent++: 1
charge → AtLocation → stable level 0.28