Assertion list for term "notified of the service request failure".
Results from Ascent++: 1
wasp → ReceivesAction → notified of the service request failure 0.16