Assertion list for term "prove to be insufficient".

Results from Ascent++: 1
reserve CapableOfprove to be insufficient 0.30