Assertion list
loop antenna (subgroup of antenna ) → HasA
Results from Ascent++: 1
loop antenna → HasA → an inductance of 25-nanohenries 0.68