Assertion list
small sample (subgroup of sample ) → ReceivesAction
Results from Ascent++: 2
small sample → ReceivesAction → collected 0.68
small sample → ReceivesAction → removed 0.48