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