[timeout:300][out:json]; ( node(around:1000,40.44240,-79.95530)[building][~"^(addr:housenumber|.*name.*)$"~".",i]; way(around:1000,40.44240,-79.95530)[building][~"^(addr:housenumber|.*name.*)$"~".",i]; rel(around:1000,40.44240,-79.95530)[building][~"^(addr:housenumber|.*name.*)$"~".",i]; node(around:1000,40.44240,-79.95530)["building:levels"][~"^(addr:housenumber|.*name.*)$"~".",i]; way(around:1000,40.44240,-79.95530)["building:levels"][~"^(addr:housenumber|.*name.*)$"~".",i]; rel(around:1000,40.44240,-79.95530)["building:levels"][~"^(addr:housenumber|.*name.*)$"~".",i]; node(around:1000,40.44240,-79.95530)[amenity=university][~"^(addr:housenumber|.*name.*)$"~".",i]; way(around:1000,40.44240,-79.95530)[amenity=university][~"^(addr:housenumber|.*name.*)$"~".",i]; rel(around:1000,40.44240,-79.95530)[amenity=university][~"^(addr:housenumber|.*name.*)$"~".",i]; rel(around:1000,40.44240,-79.95530)[site=university][~"^(addr:housenumber|.*name.*)$"~".",i]; rel(around:1000,40.44240,-79.95530)[type=site][~"^(addr:housenumber|.*name.*)$"~".",i]; ); out center tags;
David Lawrence Hall is a major academic building at the University of Pittsburgh in Pittsburgh, Pennsylvania, United States, where it serves as the school's largest lecture hall and auditorium facility.
found a single match candidate
building (Q41176) | building=yes, building |
University of Pittsburgh academic buildings | building=university, site=university, amenity=university, type=site |