Assertion list
charge (aspect of capacitor ) → HasProperty
Results from Ascent++: 4
charge → HasProperty → negative 0.44
charge → HasProperty → current 0.28
charge → HasProperty → high 0.25
charge → HasProperty → zero 0.24