Assertion list for term "correspond to the distance".

Results from Ascent++: 3
output CapableOfcorrespond to the distance 0.34
signal CapableOfcorrespond to the distance 0.33
integer CapableOfcorrespond to the distance 0.25