Assertion list
weak signal (subgroup of signal ) → ReceivesAction

Results from Ascent++: 2
weak signalReceivesAction detected 0.68
weak signalReceivesAction received 0.25