Assertion list
output (aspect of amplifier ) → AtLocation
Results from Ascent++: 3
output → AtLocation → low state 0.25
output → AtLocation → phase 0.25
output → AtLocation → zero volts 0.25