Assertion list
frequency (aspect of antenna ) → HasA
Results from Ascent++: 1
frequency → HasA → shorter wavelengths 0.30