Question: "All I Want for Christmas is You" is a Christmas song by Mariah Carey, which is the lead single from an album that contains a contemporary holiday theme, and was released by who?
Sentence (from "All I Want for Christmas Is You"): Columbia Records released it on November 1, 1994, as the lead single from her first holiday album and fourth studio album, "Merry Christmas".
Relevant evidence: Yes