Assertion list
voltage (aspect of diode ) → AtLocation
Results from Ascent++: 3
voltage → AtLocation → each polarity 0.36
voltage → AtLocation → correct direction 0.25
voltage → AtLocation → their maxima 0.25