Assertion list for term "least 1".
Results from Ascent++: 2
sum → HasProperty → least 1 0.27
value (aspect of function) → HasProperty → least 1 0.25