"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.
Can we infer the following?
"Anna Sun" is a song by American rock band Walk the Moon.
Yes