Substantially formal treatment of issues for designers of natural language processing systems Presents an in-depth treatment of NL semantics and a mathematical model of a linguistics database Extensive use of examples and illustrations to clarify complex material and demonstrate practical applicatio