Sports_centre vs sports_hall

A sports_centre within a sports_centre?

You could, I’ve seen it several times before. It’s not really any different than using a practically identical tag.

I hadn’t considered a single facility with both indoor and outdoor areas, they’re rare in my area. In this case, a sports hall seems more analogous to a pitch than a sports_centre so retagging a standalone business as sports_hall probably isn’t appropriate. In this case, the wiki should be updated to say so.