Skip to main content Skip to main navigation


Constraints over Lambda-Structures in Semantic Underspecification

Feiyu Xu; Markus Egg; Joachim Niehren; Peter Ruhrberg
In: 17th International Conference on Computational Linguistics and 36th Annual Meeting of the Association for Computational Linguistics (COLING-ACL'98), August 10-14. International Conference on Computational Linguistics (COLING), Pages 353-359, Vol. 1, Morgan Kaufmann Publishers, 1998.


We introduce a first-order language for semantic underspecification that we call Constraint Language for Lambda-Structures (CLLS). A lambda-structure can be considered as a lambda-term up to consistent renaming of bound variables (alpha-equality); a constraint of CLLS is an underspecified description of a $lambda$-structure. CLLS solves a capturing problem omnipresent in underspecified scope representations. CLLS features constraints for dominance, lambda binding, parallelism, and anaphoric links. Based on CLLS we present a simple, integrated, and underspecified treatment of scope, parallelism, and anaphora.

Weitere Links