Assertion list
dipole antenna (subgroup of antenna ) → IsA
Results from Ascent++: 1
dipole antenna → IsA → the basis 0.68