Assertion list
default endpoint (subgroup of endpoint ) → ReceivesAction
Results from Ascent++: 1
default endpoint → ReceivesAction → added 0.68