This book describes a number of practical experimentsrather than theoretical investigations in the area ofnatural language processing. The basis for the workpresented is Grammatical Framework (GF) - a complexand powerful system, which comprises, among otherthings, a grammar formalism based on type theory andits implementation written in Haskell. It is also apowerful language processor that provides aconvenient framework for various multilingualapplications. GF is intended for high-quality machinetranslation (of Interlingua type) in sub-languagedomains.