Assertion list for term "supplied by the server".
Results from Ascent++: 1
value (aspect of lease) → ReceivesAction → supplied by the server 0.33