Assertion list for term "running state".
Results from Ascent++: 2
pod → AtLocation → running state 0.47
thread → AtLocation → running state 0.37