[timeout:300][out:json];
(
node(around:1000,41.45750,-86.47970)[amenity=college][~"^(addr:housenumber|.*name.*)$"~".",i];
way(around:1000,41.45750,-86.47970)[amenity=college][~"^(addr:housenumber|.*name.*)$"~".",i];
rel(around:1000,41.45750,-86.47970)[amenity=college][~"^(addr:housenumber|.*name.*)$"~".",i];
node(around:1000,41.45750,-86.47970)[amenity=school][~"^(addr:housenumber|.*name.*)$"~".",i];
way(around:1000,41.45750,-86.47970)[amenity=school][~"^(addr:housenumber|.*name.*)$"~".",i];
rel(around:1000,41.45750,-86.47970)[amenity=school][~"^(addr:housenumber|.*name.*)$"~".",i];
node(around:1000,41.45750,-86.47970)[building=college][~"^(addr:housenumber|.*name.*)$"~".",i];
way(around:1000,41.45750,-86.47970)[building=college][~"^(addr:housenumber|.*name.*)$"~".",i];
rel(around:1000,41.45750,-86.47970)[building=college][~"^(addr:housenumber|.*name.*)$"~".",i];
node(around:1000,41.45750,-86.47970)[building=school][~"^(addr:housenumber|.*name.*)$"~".",i];
way(around:1000,41.45750,-86.47970)[building=school][~"^(addr:housenumber|.*name.*)$"~".",i];
rel(around:1000,41.45750,-86.47970)[building=school][~"^(addr:housenumber|.*name.*)$"~".",i];
node(around:1000,41.45750,-86.47970)[education=school][~"^(addr:housenumber|.*name.*)$"~".",i];
way(around:1000,41.45750,-86.47970)[education=school][~"^(addr:housenumber|.*name.*)$"~".",i];
rel(around:1000,41.45750,-86.47970)[education=school][~"^(addr:housenumber|.*name.*)$"~".",i];
rel(around:1000,41.45750,-86.47970)[site=school][~"^(addr:housenumber|.*name.*)$"~".",i];
rel(around:1000,41.45750,-86.47970)[type=site][~"^(addr:housenumber|.*name.*)$"~".",i];
);
out center tags;
John Glenn High School is a public high school in Walkerton, Indiana. It is the only high school in the John Glenn School Corporation, which serves Walkerton and North Liberty.
found a single match candidate
| school (Q3914) | education=school, amenity=school |