Assertion list for term "reserved to sending state".
Results from Ascent++: 1
right (aspect of resident) → ReceivesAction → reserved to sending state 0.25