Assertion list for term "associated with tuple element".
Results from Ascent++: 1
value (aspect of limit) → ReceivesAction → associated with tuple element 0.55