Assertion list
notepad (primary) → ReceivesAction
Results from Ascent++: 3
notepad → ReceivesAction → packaged 0.32
notepad → ReceivesAction → closed 0.25
notepad → ReceivesAction → launched 0.25