Assertion list for term "smaller wavelength".

Results from Ascent++: 1
proton HasAsmaller wavelength 0.28