Assertion list for term "min".
Results from Ascent++: 1
distance → HasProperty → min 0.25