Assertion list
case brief (subgroup of brief ) → ReceivesAction
Results from Ascent++: 1
case brief → ReceivesAction → updated 0.59