Assertion list for term "lie to the left".

Results from Ascent++: 1
equilibrium CapableOflie to the left 0.47