[timeout:300][out:json]; ( node(around:1000,30.28690,-97.74060)[building][~"^(addr:housenumber|.*name.*)$"~".",i]; way(around:1000,30.28690,-97.74060)[building][~"^(addr:housenumber|.*name.*)$"~".",i]; rel(around:1000,30.28690,-97.74060)[building][~"^(addr:housenumber|.*name.*)$"~".",i]; node(around:1000,30.28690,-97.74060)[amenity=university][~"^(addr:housenumber|.*name.*)$"~".",i]; way(around:1000,30.28690,-97.74060)[amenity=university][~"^(addr:housenumber|.*name.*)$"~".",i]; rel(around:1000,30.28690,-97.74060)[amenity=university][~"^(addr:housenumber|.*name.*)$"~".",i]; rel(around:1000,30.28690,-97.74060)[site=university][~"^(addr:housenumber|.*name.*)$"~".",i]; rel(around:1000,30.28690,-97.74060)[type=site][~"^(addr:housenumber|.*name.*)$"~".",i]; ); out center tags;
Hogg Memorial Auditorium is a theater located on the University of Texas at Austin campus in Austin, Texas. The venue was the first theater at the university's campus when it was constructed in 1933.
found a single match candidate
University of Texas at Austin campus | building=university, site=university, amenity=university, type=site |