Assertion list for term "leave at the intersection".

Results from Ascent++: 1
turn CapableOfleave at the intersection 0.41