Assertion list for term "ready state".
Results from Ascent++: 2
thread → AtLocation → ready state 0.52
queue → AtLocation → ready state 0.30