Assertion list for term "left at the t".

Results from Ascent++: 1
turn CapableOfleft at the t 0.27