Assertion list for term "blocked state".
Results from Ascent++: 2
thread → AtLocation → blocked state 0.53
port → AtLocation → blocked state 0.47