Question: With whom did this co-creator of "The Book of Mormon" and "Avenue Q" compose songs for a Disney film?
Sentence (from "Robert Lopez"): Robert Lopez (born February 23, 1975) is an American songwriter of musicals, best known for co-creating "The Book of Mormon" and "Avenue Q", and for composing the songs featured in the Disney animated film "Frozen".
Relevant evidence: Yes