Assertion list
wavelength (aspect of light ) → IsA

Results from Ascent++: 1
wavelengthIsA the distance 0.58