Assertion list for term "better probability".

Results from Ascent++: 1
pick HasAbetter probability 0.19