Assertion list
dark purple (subgroup of purple ) → ReceivesAction
Results from Ascent++: 1
dark purple → ReceivesAction → included to grey 0.75