A constraint-based treatment of descriptions

Both in computational linguistics and in formal semantics, descriptions have been used which are stated in terms of dominance. Yet the issue of how such descriptions are processed has been little explored. In this paper, we present a constraint-based treatment of descriptions and apply it to the description-based treatment of discourse advocated in GW98a].