Assertion list for term "prove to be incorrect".

Results from Ascent++: 2
information CapableOfprove to be incorrect 0.44
data CapableOfprove to be incorrect 0.23