Assertion list for term "dead state".
Results from Ascent++: 2
thread → AtLocation → dead state 0.24
subscription → AtLocation → dead state 0.16