Situation: "punk rock" is a kind of music.