_ _ _ _ _ _ _ _ _ _ _ _ _
An interpretation _I satisfies a sentence in the table language if and only if each entry in the table designates the value of the function designated by the function constant in the upper-left corner applied to the objects designated by the corresponding row and column labels. -Genesereth & Nilsson, "Logical foundations of Artificial Intelligence"
_ _ _ _ _ _ _ _ _ _ _ _ _
/\ ___ /\
// \/ \/ \\
(( O O ))
\\ / \ //
\/ | | \/
| | | |
| | | |
| o |
| | | |
|m| |m|
sort namesd.txt | uniq -cd