It reminds of this earlier discussion: https://lists.openstreetmap.org/pipermail/tagging/2018-September/039108.html.
Sorry I didn’t take the time to read it all to verify but I seem to remember it was dealing with the same concern of tagging explicitly or implicitly (by tagging a parent area). HTH.
_______________________________________________ Tagging mailing list [email protected] https://lists.openstreetmap.org/listinfo/tagging
