Assertion list for term "provided in same order".
Results from Ascent++: 1
argument (aspect of function) → ReceivesAction → provided in same order 0.41