Premise: Andorra ( [ ænˈdɔ : rə ] [ ənˈdorə ] , [ anˈdɔra ] ) , officially the Principality of Andorra ( Principat d'Andorra ) , also called the Principality of the Valleys of Andorra ( [ Principat de les Valls d'Andorra , links = no ] ) , is a sovereign landlocked microstate in Southwestern Europe , located in the eastern Pyrenees mountains and bordered by Spain and France . Ministate . In line with this and most other definitions the examples of microstates include : Liechtenstein , Monaco , San Marino , Andorra , the Cook Islands , Niue and the Federated States of Micronesia . Monaco ( [ ˈmɒnəkoʊ ] [ mɔnako ] ) , officially the Principality of Monaco ( Principauté de Monaco ) , is a sovereign city-state and microstate , located on the French Riviera in Western Europe .
Hypothesis: Ministates include Monaco in Europe.
Label: ENTAILMENT