[timeout:300][out:json]; ( node(around:1000,32.30115,-95.29688)[amenity=school][~"^(addr:housenumber|.*name.*)$"~".",i]; way(around:1000,32.30115,-95.29688)[amenity=school][~"^(addr:housenumber|.*name.*)$"~".",i]; rel(around:1000,32.30115,-95.29688)[amenity=school][~"^(addr:housenumber|.*name.*)$"~".",i]; node(around:1000,32.30115,-95.29688)[building=school][~"^(addr:housenumber|.*name.*)$"~".",i]; way(around:1000,32.30115,-95.29688)[building=school][~"^(addr:housenumber|.*name.*)$"~".",i]; rel(around:1000,32.30115,-95.29688)[building=school][~"^(addr:housenumber|.*name.*)$"~".",i]; rel(around:1000,32.30115,-95.29688)[site=school][~"^(addr:housenumber|.*name.*)$"~".",i]; rel(around:1000,32.30115,-95.29688)[type=site][~"^(addr:housenumber|.*name.*)$"~".",i]; ); out center tags;
Robert E. Lee High School is one of two Tyler Independent School District high school campuses in the city of Tyler, Texas, the other being John Tyler High School. RE Lee High School has served the East Texas community since opening in 1958 and classified as a 6A school by the UIL. In 2013, the school was rated "Met Standard" by the Texas Education Agency.
found a single match candidate
school (Q3914) | amenity=school |