The Karelitz SAT dictionary of one-word definitions