Assertion list for term "return to step s1".
Results from Ascent++: 2
process → CapableOf → return to step s1 0.42
cpu → CapableOf → return to step s1 0.34