Assertion list for term "left at next junction".

Results from Ascent++: 1
turn CapableOfleft at next junction 0.41