Assertion list
capacitor (primary) → HasPrerequisite

Results from Ascent++: 1
capacitorHasPrerequisite removal of the cover 0.25