Task: Question Understanding
Input (English): Which US TV show's theme song, by Judy Hart Angelo & Gary Portnoy, performed by Portnoy, contained the line Where Everybody Knows Your Name?
Output (English): music