Dionis is a cafeteria offering a menu.