Assertion list
mail message (subgroup of message ) → ReceivesAction
Results from Ascent++: 1
mail message → ReceivesAction → sent 0.68