Assertion list
unanimous verdict (subgroup of verdict ) → ReceivesAction
Results from Ascent++: 1
unanimous verdict → ReceivesAction → reached 0.52