Assertion list
capacitor (primary) → HasSubevent
Results from Ascent++: 1
capacitor → HasSubevent → a shock hazard 0.16