Ascent++ | notified of the call

Assertion list for term "notified of the call".

Results from Ascent++: 2

member (`aspect` of party) → ReceivesAction → notified of the call	0.45
member (`aspect` of cooperative) → ReceivesAction → notified of the call	0.29