Assertion list
new mail (subgroup of mail ) → ReceivesAction
Results from Ascent++: 2
new mail → ReceivesAction → sent 0.84
new mail → ReceivesAction → downloaded 0.25