Assertion list
tv antenna (subgroup of antenna ) → HasA
Results from Ascent++: 1
tv antenna → HasA → dual tv outputs 0.29