Assertion list for term "prove to be efficient".

Results from Ascent++: 2
method CapableOfprove to be efficient 0.44
approach CapableOfprove to be efficient 0.29