Assertion list for term "more than a guess".

Results from Ascent++: 1
estimate HasPropertymore than a guess 0.12