Assertion list for term "prove smart choice".

Results from Ascent++: 1
bass CapableOfprove smart choice 0.20