Assertion list for term "controlled by at least one event signal".
Results from Ascent++: 1
pointer → ReceivesAction → controlled by at least one event signal 0.28