Conversation so far:
What was In the Heights?
musical.
When did it open?
opening in March 2008.
Did it win any awards?
It was nominated for 13 Tony Awards, winning four.

Question: Did Miranda win any awards?
Self-contained rewrite: Did Miranda win any awards?