Assertion list
wavelength (aspect of wave ) → IsA
Results from Ascent++: 2
wavelength → IsA → the distance 0.77
wavelength → IsA → horizontal distance 0.31