Assertion list for term "go for last time".
Results from Ascent++: 1
clock → CapableOf → go for last time 0.27