Assertion list for term "prove interesting".

Results from Ascent++: 1
talk CapableOfprove interesting 0.21