In this task you will be given a passage and a yes/no question based on the passage. You should answer the question using the information from the passage.

Ex Input:
passage: Soul Surfer is a 2011 American biographical drama film directed by Sean McNamara, based on the 2004 autobiography Soul Surfer: A True Story of Faith, Family, and Fighting to Get Back on the Board by Bethany Hamilton about her life as a surfer after a horrific shark attack and her recovery. The film stars AnnaSophia Robb, Helen Hunt, Dennis Quaid, and Lorraine Nicholson with Carrie Underwood, Kevin Sorbo, Sonya Balmores, Branscombe Richmond, and Craig T. Nelson.
 question: is carrie underwood in the movie soul surfer?

Ex Output:
Yes


Ex Input:
passage: At the Liberation of France in the summer of 1944, Metropolitan France kept GMT+2 as it was the time then used by the Allies (British Double Summer Time). In the winter of 1944--1945, Metropolitan France switched to GMT+1, same as in the United Kingdom, and switched again to GMT+2 in April 1945 like its British ally. In September 1945, Metropolitan France returned to GMT+1 (pre-war summer time), which the British had already done in July 1945. Metropolitan France was officially scheduled to return to GMT+0 on November 18, 1945 (the British returned to GMT+0 in on October 7, 1945), but the French government canceled the decision on November 5, 1945, and GMT+1 has since then remained the official time of Metropolitan France.
 question: is france the same timezone as the uk?

Ex Output:
No


Ex Input:
passage: Both the television show and the first novel gradually reveal Dexter's complete back story. Dexter was born out of wedlock in 1971 to a young woman named Laura (Laura Moser on the show), although a later episode says he graduated high school in 1991. In the novels, Laura was involved in the drug trade. On the show, Laura was a police informant for Harry Morgan and his secret mistress. Dexter's father (named Joseph Driscoll on the show) was in the US Army and served in the Vietnam War, but later became a drug-addicted criminal. Dexter also had an older brother, named Brian. On October 1, 1973, Dexter and Brian witnessed their mother's brutal murder at the hands of three drug dealers. For two days, the brothers were left in a crate, surrounded by dismembered body parts and sitting in a pool of blood. Harry adopted the three-year-old Dexter, while Brian was left to the child welfare system.
 question: do dexter and brian have the same father?

Ex Output:

Yes