Input:

Lakeshore Technical College (or LTC) is a technical and community college located in Cleveland, Wisconsin, which is centrally located between the lakeshore cities of Sheboygan and Manitowoc. It is a member of the 16 schools in the Wisconsin Technical College System. The college was originally named Lakeshore Technical Institute (LTI).

Sentence: Lakeshore Technical College is a member of the 18 schools in the Wisconsin Technical College System.

Output: No

Input:

Andrea Albert Pierre Casiraghi (born 8 June 1984) is the elder son of Caroline, Princess of Hanover, and her second husband Stefano Casiraghi. He is the eldest grandchild of Rainier III, Prince of Monaco, and American actress Grace Kelly. Casiraghi is currently fourth in the line of succession to the Monegasque throne, following his twin cousins and mother.

Sentence: Casiraghi was born the year after 1982.

Output: No

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:

Elizabeth Berridge (born May 2, 1962) is an American film and theatre actress. She is known for playing Constanze Mozart in the Academy Award-winning 1984 film "Amadeus", for the role of Officer Eve Eggers on "The John Larroquette Show" (1993-1996), and for her performances in the theater.

Sentence: The role of Constanze Mozart has been played by an American actress.

Output:
Yes