Assertion list for term "represented by corresponding backoff parameter value".

Results from Ascent++: 1
adjustment ReceivesActionrepresented by corresponding backoff parameter value 0.25