Ein einflussreiches Buch, das die Verbindung zwischen formaler Logik und natürlicher Sprache untersucht, indem es Modelle für Interpretation, Schlussfolgerung und Sprachproduktion in Datenbanksemantik entwickelt und damit neue Perspektiven für KI‑Sprachverarbeitung eröffnet.