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 . It is known as a principality as it is a diarchy headed by two Co-Princes the Roman Catholic Bishop of Urgell in Spain , and the President of France .
Hypothesis: There is a principality called Andorra.
Label: ENTAILMENT