Assertion list for term "less than ε".
Results from Ascent++: 2
absolute value → HasProperty → less than ε 0.31
distance → HasProperty → less than ε 0.25