Assertion list
isotropic antenna (subgroup of antenna ) → IsA

Results from Ascent++: 1
isotropic antennaIsA theoretical antenna 0.68