Assertion list
wavelength (aspect of wave ) → HasProperty
Results from Ascent++: 2
wavelength → HasProperty → short 0.58
wavelength → HasProperty → shorter 0.57