[timeout:300][out:json]; ( node(around:1000,26.70800,-80.21080)[amenity][~"^(addr:housenumber|.*name.*)$"~".",i]; way(around:1000,26.70800,-80.21080)[amenity][~"^(addr:housenumber|.*name.*)$"~".",i]; rel(around:1000,26.70800,-80.21080)[amenity][~"^(addr:housenumber|.*name.*)$"~".",i]; node(around:1000,26.70800,-80.21080)[building=school][~"^(addr:housenumber|.*name.*)$"~".",i]; way(around:1000,26.70800,-80.21080)[building=school][~"^(addr:housenumber|.*name.*)$"~".",i]; rel(around:1000,26.70800,-80.21080)[building=school][~"^(addr:housenumber|.*name.*)$"~".",i]; rel(around:1000,26.70800,-80.21080)[site=school][~"^(addr:housenumber|.*name.*)$"~".",i]; rel(around:1000,26.70800,-80.21080)[type=site][~"^(addr:housenumber|.*name.*)$"~".",i]; ); out center tags;
Royal Palm Beach High School (RPBHS) also known as Royal Palm is a coeducational public high school in Royal Palm Palm Beach, Florida with an enrollment of over 2,000 students. The school is a part of the School District of Palm Beach County.
found a single match candidate
school (Q3914) | amenity=school |