Assertion list
electric potential (primary) → HasA

Results from Ascent++: 1
electric potentialHasA small radius of curvature 0.25