Assertion list for term "leave onto e spring st.".

Results from Ascent++: 1
turn CapableOfleave onto e spring st. 0.25