Input:

Lausche (Czech: "Luz" ), is, at 793 m , the highest peak of the Lusatian Mountains and the highest mountain in the German part of the Upper Lusatia region. The conical mountain is part of the Zittau Mountains range, situated on the border of the German state of Saxony with the Bohemian region of the Czech Republic.

Sentence: Lausche is not the highest mountain in the Upper Lusatia region.

Output: No

Input:

"Touch Me With Your Love" is a song by Beth Orton, released as the fourth single from 1996 album "Trailer Park". It contains 4 songs, and was released on C.D. and vinyl. The release peaked at #60 in the UK official singles chart. It was also released in Australia with a different track listing, and was the first release by Orton to have a promotional video made for it.

Sentence: "Touch Me With Your Love" was released on cassette tape.

Output: No

Input:

Astana ( , ; Kazakh: Astana ] ) is the capital city of Kazakhstan. It is located on the banks of Ishim River in the north portion of Kazakhstan, within the Akmola Region, though administrated separately from the region as a city with special status. The 2017 census reported a population of 1,006,574 within the city limits, making it the second-largest city in Kazakhstan, behind Almaty.

Sentence: Almaty is a city in Pakistan.

Output: No

Input:

Shah Mahmud Hotak, (Pashto, Dari: ), also known as Shah Mahmud Ghilji (Pashto: ) (lived 1697 April 22, 1725), was an Afghan ruler of the Hotak dynasty who overthrew the heavily declined Safavid dynasty to briefly become the king of Persia from 1722 until his death in 1725.

Sentence: Shah Mahmud Hotak was a ruler of a dynasty that overthrew another dynasty.

Output:
Yes