the menu of a restaurant .