Assertion list for term "prove to be strong".

Results from Ascent++: 1
shape CapableOfprove to be strong 0.16