Assertion list for term "prove to be ineffective".

Results from Ascent++: 1
approach CapableOfprove to be ineffective 0.30