After all, the automated database is only as good as the information the judges feed into it.
Analytic tableaux (also, semantic tableau, or truth tree), a technique of automated theorem proving in logic. Tableau, another term for a table of data, particularly: Cryptographic tableau, or tabula recta, used in manual cipher systems. Division tableau, a table used to do long division.
The term menu is used different ways in different places. In France a menu is a fixed price list of what is being served in what order, the menu is set in other words. Ordering a la carte means you are ordering dishes off the set menu on offer. In most english speaking countries a menu is the list of food that can be ordered in a restaurant, some restaurants offer a set menu or a prix fixe (fixed price) menu which is the same thing as french menu.