What Should be a Proper Semantics for Dependency Structures
Abstract
We outline a dynamic formal semantics which perfectly fits the Meaning$\Leftrightarrow$Text theory. This semantics, called Descriptive, interprets Deep dependency structures by semantic expressions defining semantic objects' extensions over dynamic finite structures. This interpretation is based on a strict correspondence between syntactic dependency types and semantic object types and is rule-to-rule compositional. The focus is made on the Syntax-Semantic interface and not on the extension definition