Input (grade 5): San José ("Saint Joseph",,) is the capital and largest city of Costa Rica.
Output (grade 7): The entire metropolitan area around San José has a population of over 1.6 million people.