Assertion list
variable capacitor (subgroup of capacitor ) → ReceivesAction
Results from Ascent++: 2
variable capacitor → ReceivesAction → shown in fig 0.42
variable capacitor → ReceivesAction → moved 0.25