Input:

Paradaphoenus is a physically small member of the extinct family of terrestrial carnivores belonging to the suborder Caniformia, family Amphicyonidae ("bear dog"), and which inhabited North America from the Early Oligocene subepoch to the Early Miocene subepoch living 33.916.3 Ma, existing for approximately .

Sentence: Paradaphoenus has been spotted in North America at least once in Earth's history.

Output: Yes

Input:

Lucy-Jo Hudson (born 4 May 1983) is an English actress, best known for playing the role of Katy Harris in the long-running soap opera, "Coronation Street" from 200205 and as Rosie Trevanion in the ITV drama "Wild at Heart" from 200609. Her recurring role of Rhiannon Davis in "Doctors" in 2016 earned her 2017 British Soap Award for Villain of the Year.

Sentence: Lucy-Jo Hudson's role on Coronation Street spanned 4 years.

Output: Yes

Input:

Red Amnesia () is a 2014 Chinese thriller film directed by Wang Xiaoshuai. The film deals with the psychological impact of an elderly retired widow (played by Lu Zhong)'s past. Wang considers "Red Amnesia" to be the last film of his Cultural Revolution trilogy, which includes 2005's "Shanghai Dreams" and 2011's "11 Flowers". It was released on April 30, 2015.

Sentence: Red Amnesia includes 2005's "Shanghai Dreams".

Output: Yes

Input:

In symbolic computation (or computer algebra), at the intersection of mathematics and computer science, the Risch algorithm is an algorithm for indefinite integration. It is used in some computer algebra systems to find antiderivatives. It is named after the American mathematician Robert Henry Risch, a specialist in computer algebra who developed it in 1968.

Sentence: Robert Risch was a mathematician

Output:
Yes