Philosophical lexicography: The LIE and the Use of the Computer