Assertion list
esr (aspect of capacitor ) → ReceivesAction
Results from Ascent++: 1
esr → ReceivesAction → calculated 0.25