tripleset: Denmark LEADER_NAME Lars Løkke Rasmussen
target: Denmark's leader name is Lars Løkke Rasmussen.
references: Denmark's leader name is Lars Løkke Rasmussen. Lars Løkke Rasmussen leads Denmark. Lars Løkke Rasmussen is the leader of Denmark.