[timeout:300][out:json]; ( node(around:1000,30.21440,-97.79720)[amenity=college][~"^(addr:housenumber|.*name.*)$"~".",i]; way(around:1000,30.21440,-97.79720)[amenity=college][~"^(addr:housenumber|.*name.*)$"~".",i]; rel(around:1000,30.21440,-97.79720)[amenity=college][~"^(addr:housenumber|.*name.*)$"~".",i]; node(around:1000,30.21440,-97.79720)[amenity=school][~"^(addr:housenumber|.*name.*)$"~".",i]; way(around:1000,30.21440,-97.79720)[amenity=school][~"^(addr:housenumber|.*name.*)$"~".",i]; rel(around:1000,30.21440,-97.79720)[amenity=school][~"^(addr:housenumber|.*name.*)$"~".",i]; node(around:1000,30.21440,-97.79720)[building=college][~"^(addr:housenumber|.*name.*)$"~".",i]; way(around:1000,30.21440,-97.79720)[building=college][~"^(addr:housenumber|.*name.*)$"~".",i]; rel(around:1000,30.21440,-97.79720)[building=college][~"^(addr:housenumber|.*name.*)$"~".",i]; node(around:1000,30.21440,-97.79720)[building=school][~"^(addr:housenumber|.*name.*)$"~".",i]; way(around:1000,30.21440,-97.79720)[building=school][~"^(addr:housenumber|.*name.*)$"~".",i]; rel(around:1000,30.21440,-97.79720)[building=school][~"^(addr:housenumber|.*name.*)$"~".",i]; rel(around:1000,30.21440,-97.79720)[site=school][~"^(addr:housenumber|.*name.*)$"~".",i]; rel(around:1000,30.21440,-97.79720)[type=site][~"^(addr:housenumber|.*name.*)$"~".",i]; ); out center tags;
David Crockett Early College High School is a public high school located in South Austin, Texas. The school opened in 1968 and is part of the Austin Independent School District (AISD). It was named after U.S. frontiersman Davy Crockett.
found a single match candidate
school (Q3914) | amenity=school |