Assertion list
directed verdict (subgroup of verdict ) → ReceivesAction
Results from Ascent++: 1
directed verdict → ReceivesAction → granted 0.68