Input: 

In mathematics, the Vitali–Carathéodory theorem is a result in real analysis that shows that, under the conditions stated below, integrable functions can be approximated in L from above and below by lower- and upper-semicontinuous functions, respectively. It is named after Giuseppe Vitali and Constantin Carathéodory.

Sentence: Vitali–Carathéodory theorem was named after Giuseppe Vitali

Output: Yes


Input: 

Northwest Strikes: If Northwest flight attendants go on strike on the 15th, what does that mean for travelers? I have a trip booked on the 24th. Will NW rebook us with other airlines?

Sentence: Northwest flight attendants will go on strike on the 17th

Output: No


Input: 

The Eternal Jew is a 1940 antisemitic German Nazi propaganda film, presented as a documentary. The film's initial German title is Der Ewige Jude, the German term for the character of the "Wandering Jew" in medieval folklore. At the insistence of Nazi Germany's Minister of Propaganda, Joseph Goebbels, the film was directed by Fritz Hippler.

Sentence: there are antisemetic films.

Output: Yes


Input: 

The Final Cut is a 1995 BBC television serial, the third part of the "House of Cards" trilogy. Directed by Mike Vardy, the serial, based on Michael Dobbs's 1995 novel of the same name, was adapted for television by Andrew Davies. It details the conclusion of Francis Urquhart's reign as Prime Minister of the United Kingdom.

Sentence: House of Cards is a favorite show of stan

Output: