Constraints over Lambda-Structures
in Semantic Underspecification
Author: Markus Egg and Joachim Niehren and Peter Ruhrberg and
Feiyu Xu
Editor:
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.
|