Assertion list for term "used by current session".
Results from Ascent++: 1
value (aspect of function) → ReceivesAction → used by current session 0.25