Assertion list for term "imply smoothness".

Results from Ascent++: 1
tequila CapableOfimply smoothness 0.30