Instruct: Given a premise, retrieve hypotheses that are entailed by the premise.
Query: "Anna Sun" is a song by American rock band Walk the Moon, originally for their 2010 album "I Want! I Want!". The song was written by band members Adrian Galvin, Nick Lerangis, Nicholas Petricca and Adam Reifsnyder about Adrian's ex-girlfriend, Anna Ceravolo. It was included on the band's 2012 major-label debut album, "Walk the Moon". It was released as a commercial single on February 7, 2012.
"Anna Sun" is a song by American rock band Walk the Moon.
These were colleagues of Anne McLellan.
Prior released an album prior to Aspects of Andrew Lloyd Webber.
Natalie Anne Merchant was still in the band 10,000 Maniacs in 1993.
A song on the album Walkin' has the name of an alcoholic beverage.
The song, "Dear John", was dedicated to a former member of the band.
Paul Annacone was on the winning team 
Anna Waronker got back together with her music group after 5 years
It can be said that Anna has a passion for art.
There was a music video of this single.
It was inspired by another song.
Leona Lewis wrote some of the songs that were featured in the movie "Walking on Sunshine".
Anna was not always married
Anna Sun was a popular song all over the world
Galan is going to be released.
Natalie Anne Merchant writes songs.
Usher enjoyed recording the song.
Charlotte Anley made popular songs
Amy and Anna met up again after they met by chance at the cafe
Audiovent toured to promote the album.
Gene and Anne had a fling.
Anna Sun was released in 2015
Anna Sun is a song by a Japanese rock band
Anna Sun was released in January 7, 2012
Adrian Galvin was born in nineteen hundred eighty one.