Assertion list for term "run for some time".
Results from Ascent++: 2
hare → CapableOf → run for some time 0.47
thread → CapableOf → run for some time 0.27