Assertion list
wavelength (aspect of wave ) → HasA
Results from Ascent++: 1
wavelength → HasA → higher energy 0.25