Every college will have bars and canteens, same for schools, hospitals, factories and other workplaces. Personally, I don't think they should be mapped. They are internal parts to the  broader element which is already mapped, and they have no public use. I think it adds confusion for map users, more than clarity. Not everything with FHRS needs to be represented on OSM.