Assertion list for term "twice the distance".

Results from Ascent++: 1
wavelength IsAtwice the distance 0.41