Input: 

Géraud Sénizergues (born 1957) is a French computer scientist at the University of Bordeaux. With Yuri Matiyasevich he obtained results about the Post correspondence problem. He won the 2002 Gödel Prize "for proving that equivalence of deterministic pushdown automata is decidable"

Sentence: Géraud Sénizergues is well liked among his coworkers

Output: It's impossible to say


Input: 

Sam's Mess<br>Sam went eat at a fast food restaurant. He sat down with his drink. Sam spilled his drink all over the table. He asked the cashier for some napkins. Sam cleaned up the mess he made.

Sentence: Sam never cleans.

Output: No


Input: 

FILE - In this Jan. 5, 2018, file photo, Wisconsin coach Tony Granato stands behind his bench during the team's NCAA hockey game against Penn State in State College, Pa. Granato, coach of the U.S. men's team for the Olympics, said the U.S. "has lots of pieces that other teams and countries don't know about" and wonders if his team will be overlooked. Gene J. Puskar, File AP Photo

Sentence: The U.S. Olympic hockey team has secret weapons.

Output: Yes


Input: 

Arromanches-les-Bains or simply Arromanches is a town in Normandy, France, located on the coast in the heart of the area where the Normandy landings took place on D-Day, on June 6, 1944.

Sentence: The town only has a total of 2800 residents

Output: