Assertion list for term "less than 3".

Results from Ascent++: 4
speed HasPropertyless than 3 0.48
number (aspect of sequence) HasPropertyless than 3 0.33
peak HasPropertyless than 3 0.28
value (aspect of function) HasPropertyless than 3 0.27