Assertion list for term "prove to be unsuccessful".

Results from Ascent++: 1
scan CapableOfprove to be unsuccessful 0.26