It is not up to you as a mapper to bend the rules of the map to accommodate the traveller. If having the two have separate identities was that important, then the hotel would spend the $5 to $10 a month it costs to give them a separate identity. By not giving the restaurant it's own phone number, the hotel itself is saying that separating it for the tourists is not that vital.
You may have found one example where they did not merge. I have seen hundreds if not thousands where the did merge. This is why the guidelines tell you to do it as I outlined.
In any case, it does not matte the merges would happen or not, as I stated the guidelines tell us that you can only separate a business within a business if it has a separate phone number. Excerpts from the duplicates guidelines:
What counts as a Duplicate:
- Same phone numbers but different marker locations.
What doesn't count as a Duplicate:
- A listing for Target Supermall and another listing for Target Pharmacy with same address but different phone numbers. These are both good results and are not considered duplicates.
Don't forget that the merge bots will be programmed to follow the guidelines. If they haven't merged EastWest's example, that just means that by luck they have not examined them yet.
I'll agree that by your description they could be thought of as two separate elements; but the guidelines does not allow it.