Assertion list for term "slip op".

Results from Ascent++: 1
u.s. CapableOfslip op 0.42