Premise: Three lists of countries below calculate gross domestic product ( at purchasing power parity ) per capita , i.e. , the purchasing power parity ( PPP ) value of all final goods and services produced within a country in a given year , divided by the average ( or mid-year ) population for the same year . The Netherlands , ( [ ˈnɛðərləndz ] Nederland [ ˈneːdərˌlɑnt ] ; Nederlân ) also known informally as Holland , is the main constituent country of the Kingdom of the Netherlands . It had the thirteenth-highest per capita income in the world in 2013 according to the International Monetary Fund .
Hypothesis: The Netherlands is a nation.
Label: ENTAILMENT