Assertion list for term "correspond to the distance d".

Results from Ascent++: 1
speed CapableOfcorrespond to the distance d 0.27