Template:Variety-expressible subgroup property