Assertion list
entire colon (subgroup of colon ) → ReceivesAction
Results from Ascent++: 1
entire colon → ReceivesAction → removed 0.59