Assertion list
distance (primary) → UsedFor
Results from Ascent++: 1
distance → UsedFor → tool 0.25