Input: 

Tired<br>Eric went to the gym. He had a very strenuous cardio workout. He ran almost seven miles. When he went home he took a shower. Then he sat down and immediately fell asleep.

Sentence: eric pushed himself with the cardio, he was tired

Output: Yes


Input: 

The Abbottabad University of Science and Technology (also named "AUST"), is a public university located in Havelian (12 km from Abbottabad), Khyber Pakhtunkhwa, Pakistan. The University offers admissions in "Bachelors", "Masters", "MS/M. Phill" and "PHD" programs.

Sentence: Pakistan does not exist.

Output: No


Input: 

Dragon Age: Inquisition is an action role-playing video game developed by BioWare Edmonton and published by Electronic Arts. The third major game in the "Dragon Age" franchise, "Dragon Age: Inquisition" is the sequel to "" and "Dragon Age II". The game was released worldwide in November 2014 for Microsoft Windows, PlayStation 3, PlayStation 4, Xbox 360, and Xbox One.

Sentence: Dragon Age II was not released in 2014.

Output: Yes


Input: 

The port authority may establish a certain fashion of operation based on the bylaws that are in place now in the neighbouring municipality or jurisdiction and then all of a sudden, if that jurisdiction were to change its bylaws, it could cause the port authority to have to make substantial and profound changes in the way it operates.

Sentence: It is impossible for the port authority to change any manner of operation, according to its bylaws.

Output:
No