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