Assertion list
diode (primary) → AtLocation
Results from Ascent++: 1
diode → AtLocation → series 0.58