Assertion list
uniform (aspect of cheerleader ) → ReceivesAction
Results from Ascent++: 3
uniform → ReceivesAction → returned at the end of the seas… 0.73
uniform → ReceivesAction → ordered 0.68
uniform → ReceivesAction → distributed 0.43