I want to know the answer to the following question:
What was Boardwalk Hall formerly known as?
All the background I'm provided with is that "Boardwalk Hall, formally known as the "Historic Atlantic City Convention Hall", is an arena in Atlantic City along the boardwalk.". Is that enough to answer the question?
Answer: yes