Around Rovereto (Trentino), there are many buildings tagged with both building=* and amenity=house.
Overpass-turbo query for one village with such tagging: overpass turbo
This issue was brought to my attention by this note: Note: 4996347 | OpenStreetMap
It appears that all of these amenity=house tags were added by the same user (now inactive), for example in this changeset: Changeset: 151263736 | OpenStreetMap
After checking several examples, it’s clear that not all affected buildings are actually houses. There are also garages, apartment and industrial buildings tagged with amenity=house. The tag amenity=house conflicts with the tag building=*. Globally, amenity=house is only used in a few isolated clusters, in Italy it is only used in this area around Rovereto.
Therefore I suggest an automated edit to delete amenity=house from all the buildings in the area around Rovereto.
Please share any objections or suggestions.