Assertion list
overall efficiency (subgroup of efficiency ) → ReceivesAction
Results from Ascent++: 1
overall efficiency → ReceivesAction → improved 0.59