Definition of TAVERN.