original_query: How many formally described species are there in the Diplotaxodon genus?
query: How many formally described species are there in the Diplotaxodon genus?
answer: There are seven formally described species in the Diplotaxodon genus.