Question: What part of Coconut Grove houses the city hall of Miami?
Sentence: Coconut Grove was established in 1825 and is the location of Miami's City Hall in Dinner Key, the Coconut Grove Playhouse, CocoWalk, many nightclubs, bars, restaurants and bohemian shops, and as such, is very popular with local college students.
Answer in sentence: yes