Assertion list for term "depend on the amount of slip".

Results from Ascent++: 1
size CapableOfdepend on the amount of slip 0.30