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