Constraint Language for Structures

For ambiguous sentences, traditional semantics construction produces large numbers of higher-order formulas, which must then be � -reduced individ- ually. Underspecified versions can pro- duce compact descriptions of all read- …...