Assertion list
wavelength (primary) → IsA
Results from Ascent++: 3
wavelength → IsA → the distance 0.77
wavelength → IsA → twice the distance 0.41
wavelength → IsA → horizontal distance 0.25