Assertion list for term "less difficult".

Results from Ascent++: 2
writing HasPropertyless difficult 0.48
improvement HasPropertyless difficult 0.32