Underspecified Scope Disambiguation Demo

Note: the current system was developed for the sole purpose
of illustrating a constraint-based generation of logically
inequivalent quantifier scopings (see Chaves (2003)).
This method aims at: i) efficiently avoiding
logical overgeneration; ii) reducing the need for additional modules that eliminate
logically equivalent scopings; and iii) speeding up the scope disambiguation stage.
The full representation of tense, aspect, plurals, definite descriptions,
attitudes, lexical semantics and more complex syntactic phenomena and so forth is
ignored at this time. Cf. with Chaves (2002) for the implementation of
a broader grammar, in the shape of a fully lexicalist and monotonic
HPSG-based
interface with a general underspecified semantics framework.
Please see the table below for some examples.