Assertion list for term "refute evolution".

Results from Ascent++: 1
textbook CapableOfrefute evolution 0.25