english: There are 10,000 species of ants that taxonomists -- people who describe and name animals -- have named.
non_english: Er zijn 10.000 soorten mieren die taxonomen -- mensen die dieren beschrijven en een naam geven -- hebben benoemd.