Underspecified beta reduction
Manuel Bodirsky, Katrin Erk, Joachim Niehren, Alexander Koller · 2001
For ambiguous sentences, traditional semantics construction produces large numbers of higher-order formulas, which must then be -reduced individually.Underspecified versions can produce compact descriptions of all readings, but it is not known how to perform -reduction on these descriptions.We show how to do this using -reduction constraints in the constraint language for -structures (CLLS).