The Verbmobil semantic formalism (Version 1.3)

This report describes the semantic formalism developed at Saarbrücken University as part of the Verbmobil project. The formalism is based upon DRT with additional functionality to meet the requirements on semantic construction arising from spoken dialogue translation. We define the syntax of the formalism and illustrate the semantic composition process in detail

A compositional DRS-based formalism for NLP applications

This paper describes and discusses the formalism which forms the backbone of semantic processing in the Verbmobil spoken dialogue translation project. In the first part, the theoretical core of the formalism is presented: lambda-DRT, a compositional version of Discourse Representation Theory. The main part describes the implementation of lambda-DRT, as a worked out semantic representation language for the Verbmobil project, which is designed to meet the special requirements of the application. Finally, we discuss future extensions and modications of the formalism

Bey dem Protzen- und Sternbergischen Hochzeit-Feste, Welches am 16. May 1752. in Stettin gewünscht vollzogen wurde, übergiebet dieses als ein Merckmal wahrer Hochachtung und Liebe ein naher Vetter Johann Millies, Pastor zu Blumberg und Wartin

Hochzeitsgedicht auf Valentin Protzen, Konsistorialrat, und Maria Eleonore Sternberg, 16. Mai 1752Autopsie nach Ex. der ULB Sachsen-AnhaltVorlageform des Erscheinungsvermerks: Stettin, Gedruckt bey Johann Friderich Spiegeln, Königl. Regierungs- und Gymnasii-Buchdrucker