Assertion list for term "less precise than estimates".

Results from Ascent++: 1
estimate HasPropertyless precise than estimates 0.31