Assertion list for term "prove to be future".

Results from Ascent++: 1
estimate HasPropertyprove to be future 0.21