Assertion list
electrical signal (subgroup of signal ) → AtLocation

Results from Ascent++: 1
electrical signalAtLocation phase 0.34