tv antenna subgroup of antenna, 13 assertions