Assertion list
analog signal (subgroup of signal ) → HasA

Results from Ascent++: 1
analog signalHasA voltage 0.33