Assertion list for term "prove more difficult".

Results from Ascent++: 1
expansion CapableOfprove more difficult 0.24