what chinese ethnic group has their autonomous regions as ningxia province?
(AND people.chinese_ethnic_group (JOIN people.chinese_ethnic_group.autonomous_regions m.01921y))