Assertion list for term "raised in 0.5v steps".
Results from Ascent++: 1
input signal (subgroup of signal) → ReceivesAction → raised in 0.5v steps 0.35