Original: More than 12,500 out of an estimated total of 22,000 species have been classified.
Simplified: There are about 22,000 species of ants. More than 12,500 have been classified.