Verfahren und Modelle der mathematischen Logik werden kombiniert mit Verfahren der Korpuslinguistik und kommen bei Versuchen zur automatischen Analyse semantischer Strukturen natürlicher Sprache zum Einsatz. -1997 wurde eine Diplomarbeit durchgeführt. (Quelle: Forschungsbericht Uni Leipzig)