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