Man-machine integration in a lexical processing system