Assertion list for term "leave the corridor".

Results from Ascent++: 1
turn CapableOfleave the corridor 0.33