Input (grade 11): As of 2006, over 6,400 species of harvestmen have been discovered worldwide, although the real number of extant species may exceed 10,000.
Output (grade 10): More than 6,400 species of harvestmen have been discovered, although the real number of extant species may exceed 10,000.