This variant of dependency grammar aims at the formal representation of text contents. The proposal improves on previous descriptions of adjuncts, and word order in general, as well as on the mathematically precise definition of dependency structures. A fragment of German syntax illustrates the formal constructs introduced. The book is of interest to the descriptive and theoretical linguist (because it presents a logical foundation for dependency grammar) and to the computational linguist (because aspects of parsing are an integral part of the grammar theory).