Assertion list
input signal (subgroup of signal ) → AtLocation

Results from Ascent++: 2
input signalAtLocation phase 0.35
input signalAtLocation a binary 1 level 0.29