Question: What was Boardwalk Hall formerly known as?
Sentence: Boardwalk Hall, formally known as the "Historic Atlantic City Convention Hall", is an arena in Atlantic City along the boardwalk.
Answer in sentence: yes