When referring to an establishment that sells alcoholic drinks, What is the word "pub" short for?
1) Public house
2) Public bar
3) Public brewery
4) Public tavern