Hallo M_in_N,

falls Du Gebäudearten erfassen willst, dann ist das natürlich in Ordnung. Dafür sollte buildung="irgendwas" genutzt werden und nicht die Eigenschaft amenity (also der Theaterbetrieb als solches) verdoppelt werden. Das Theater ist nämlich schon so erfasst: https://www.openstreetmap.org/node/306692056
Das gleichartige Problem beim "Admiral" (doppeltes Kino) habe ich neulich schon repariert.