Assertion list
maximum efficiency (subgroup of efficiency ) → ReceivesAction
Results from Ascent++: 1
maximum efficiency → ReceivesAction → obtained 0.68