Assertion list for term "the smallest distance".

Results from Ascent++: 1
sequence HasAthe smallest distance 0.27