Assertion list for term "continue at block".
Results from Ascent++: 2
operation → CapableOf → continue at block 0.43
execution → CapableOf → continue at block 0.41