Assertion list for term "less than the premium".

Results from Ascent++: 1
sum HasPropertyless than the premium 0.27