Assertion list for term "specified by the time_limit parameter".
Results from Ascent++: 1
value (aspect of parameter) → ReceivesAction → specified by the time_limit parameter 0.25