lexical definition example in logic - Search