Input:

John Michael Walton (born 10 November 1961 in Bradford, Yorkshire) is a former World No. 1 English darts player who played for the British Darts Organisation and Professional Darts Corporation. He is best known for winning the 2001 BDO World Darts Championship. He has adopted the nickname John Boy and uses the song "Cotton Eye Joe" by Rednex as his walk-on theme.

Sentence: John Boy is best known for winning the 2001 BDO World Ball Championship.

Output: No

Input:

As for the banking purpose of the proposal, society's interest in solving crimes by extending the pool of contributors to the DNA bank to include all persons arrested or charged with a designated offence, does not sufficiently outweigh "the intrusive nature of bodily sample seizures."

Sentence: The quote within the text suggests that collecting DNA samples is invasive.

Output: Yes

Input:

Poor Trays<br>Tim was trying to make ice. He had to do it the old fashioned way with trays. Tim's trays were old and breaking apart. He got pieces of broken plastic everywhere. Tim finally decided to invest in new trays.

Sentence: Tim contains a m

Output: Yes

Input:

United States naval forces evacuated U.S. civilians during hostilities between Turkish and Greek Cypriot forces.

Sentence: US naval forced evacuated local civilians during hostilities between Turkish and Greek Cypriot forces.

Output:
Yes