Assertion list for term "prove ineffective".

Results from Ascent++: 2
measure CapableOfprove ineffective 0.46
attempt CapableOfprove ineffective 0.35