Assertion list for term "prove difficult to accomplish".

Results from Ascent++: 1
writing CapableOfprove difficult to accomplish 0.40