[timeout:300][out:json]; ( node(around:1000,33.89420,-98.51680)[amenity=school][~"^(addr:housenumber|.*name.*)$"~".",i]; way(around:1000,33.89420,-98.51680)[amenity=school][~"^(addr:housenumber|.*name.*)$"~".",i]; rel(around:1000,33.89420,-98.51680)[amenity=school][~"^(addr:housenumber|.*name.*)$"~".",i]; node(around:1000,33.89420,-98.51680)[building=school][~"^(addr:housenumber|.*name.*)$"~".",i]; way(around:1000,33.89420,-98.51680)[building=school][~"^(addr:housenumber|.*name.*)$"~".",i]; rel(around:1000,33.89420,-98.51680)[building=school][~"^(addr:housenumber|.*name.*)$"~".",i]; rel(around:1000,33.89420,-98.51680)[site=school][~"^(addr:housenumber|.*name.*)$"~".",i]; rel(around:1000,33.89420,-98.51680)[type=site][~"^(addr:housenumber|.*name.*)$"~".",i]; ); out center tags;
Wichita Falls High School (WFHS) is a public school in Wichita Falls, Texas (USA). It is part of the Wichita Falls Independent School District (WFISD) and is one of the district's three high schools.
found a single match candidate
school (Q3914) | amenity=school |