EdLoach
You might be confusing what things are and how OSM tags are defined. Reading the wiki pages the main OSM difference seems to be how they look. See e.g. https://wiki.openstreetmap.org/wiki/Tag:amenity%3Dpub#Similar_tags though I agree it couldn't harm to double check. Have you considered a changeset comment in case the original mapper is still around?