Assertion list
user (aspect of messenger ) → ReceivesAction
Results from Ascent++: 1
user → ReceivesAction → notified 0.37