Assertion list for term "prove defective".

Results from Ascent++: 3
software CapableOfprove defective 0.44
program CapableOfprove defective 0.39
library CapableOfprove defective 0.35