Assertion list for term "less than the second".

Results from Ascent++: 6
argument HasPropertyless than the second 0.36
argument (aspect of function) HasPropertyless than the second 0.33
value (aspect of expression) HasPropertyless than the second 0.30
value (aspect of function) HasPropertyless than the second 0.27
parameter (aspect of function) HasPropertyless than the second 0.25
argument (aspect of predicate) HasPropertyless than the second 0.25