Assertion list
good argument (subgroup of argument ) → ReceivesAction
Results from Ascent++: 1
good argument → ReceivesAction → made 0.76