Possibly debatable but it is highlighted by Osmose as an issue: <https://github.com/osm-fr/osmose-backend/blob/dev/plugins/TagFix_MultipleTag2.py>. The rationale is one feature, one OSM element: as the generated Osmose issue says, the amenity is under the roof, not part of it. Maybe didn't need to be Fixed now that I know about how that's kinda part of the broader amenity on building debate, but I did these to resolve the Osmose issues at the time.