input: MessiRonaldo rivalry

At club level, Messi and Ronaldo represented rivals FC Barcelona and Real Madrid C.F., the two players facing each other at least twice every season in the world's most popular regular-season club game, El Clasico (among the most viewed annual sporting events), until Ronaldo's transfer to Italian club Juventus F.C. in 2018. Off the field, they are the face of two rival sportswear manufacturers, Messi of Adidas and Ronaldo of Nike, which are also the kit suppliers of their national teams and the opposite for their clubs. The two highest paid players in football, Ronaldo and Messi are among the world's best paid sports' stars in combined income from salaries, bonuses and off-field earnings. In 2016, Ronaldo was first on Forbes list of the best paid athletes, earning $88 million, with Messi being second at $81.4 million. They have the two biggest social media followings in the world among sportspeople with a combined 211 million Facebook fans, with Ronaldo having 122 million and Messi having 89 million. With a combined Facebook, Instagram and Twitter, Ronaldo has 321 million to be the most famous celebrity on social media and Messi has 181 million excluding Twitter.
have messi and ronaldo ever played against each other
****
output: yes

input: The Mist (TV series)

The Mist is an American science fiction-horror thriller television series developed by Christian Torpe. It is based on the horror novella of the same name by author Stephen King. The series aired for one 10-episode season on Spike from June 22 to August 24, 2017. On September 27, 2017, Spike cancelled the series.
is the mist tv show based on the movie
****
output: no

input: Former Presidents Act

Former presidents were entitled from 1965 to 1996 to lifetime Secret Service protection, for themselves, spouses, and children under 16. A 1994 statute, (Pub.L. 103--329), limited post-presidential protection to ten years for presidents inaugurated after January 1, 1997. Under this statute, Bill Clinton would still be entitled to lifetime protection, and all subsequent presidents would have been entitled to ten years' protection. On January 10, 2013, President Barack Obama signed the Former Presidents Protection Act of 2012, reinstating lifetime Secret Service protection for his predecessor George W. Bush, himself, and all subsequent presidents.
do first ladies get secret service protection for life
****
output: yes

input: Arkansas Razorbacks

On December 4, 2012, the University of Arkansas named Bret Bielema the football team's new head coach. The position was previously held by John L. Smith, who served as the interim coach while UofA found a replacement for Bobby Petrino after Petrino was released from his duties with cause on April 10, 2012. Petrino followed the ten season tenure of Houston Nutt. The team plays its home games either at Donald W. Reynolds Razorback Stadium, located on the University of Arkansas campus in Fayetteville, or at War Memorial Stadium, located in Little Rock. In 1964, the Razorbacks were the only team to go through the regular season and a bowl game undefeated, and they were awarded the Football Writers Association of America National Championship. The 1969 team, led by quarterback Bill Montgomery, challenged the Texas Longhorns for a national championship in the Game of the Century.
have the arkansas razorbacks ever won a national championship in football
****
output:
yes