Assertion list for term "more than double".

Results from Ascent++: 2
rate HasPropertymore than double 0.34
decrease HasPropertymore than double 0.25