Assertion list for term "harder tip".

Results from Ascent++: 1
reed HasAharder tip 0.57