Assertion list
antenna (primary) → IsA
Results from Ascent++: 3
antenna → IsA → transducer 0.43
antenna → IsA → electrical device 0.42
antenna → IsA → device 0.34