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: One cannot study at university and receive a degree in Pakistan.

Output: No


Input: 

PARIS, March 13 HSBC's Swiss private bank said a request by a French prosecutor for trial was a normal step in the judicial procedure that did not prejudge the result of the case. The French financial prosecutor's office has requested that the bank be sent to trial to answer charges over a suspected tax-dodging scheme for wealthy customers, a judicial source said earlier on Friday. "It is a normal step in the judicial procedure and the outcome of the case is not determined today," a spokesman for the bank said. (Reporting by Chine Labbe; Writing by Ingrid Melander; Editing by Mark John)

Sentence: Taking a bank to trial over a tax evasion scheme is pretty rare in France.

Output: No


Input: 

Clube de Futebol União de Coimbra, usually known as União de Coimbra (] ), is a sports club in the city of Coimbra, Portugal. The club was founded in June 2, 1919 and has a large array of sports departments which includes football, futsal, basketball, aikido, volleyball and swimming.

Sentence: União de Coimbra was founded on June 2, 1919 in Lisbon, Portugal.

Output: No


Input: 

If Senator Ghitter is correct about his interpretation of the motion, that would mean that the committee adopted a proposition that was contrary to the Rules of the Senate while he was in the chair; that he and the other committee members and the clerk of the committee understood this motion to mean that he had to report by twelve noon today, even though the Senate would not be sitting until 4 p.m. today; and that no one, including himself, knew that this would be contrary to the rules.

Sentence: The proposition was not known by Ghitter to break rules.

Output:
Yes