System with Generalized Quantifiers on Dependent Types for Anaphora
Justyna Grudzińska, Marek W. Zawadowski · 2014
We propose a system for the interpretation of anaphoric relationships between unbound pronouns and quantifiers.The main technical contribution of our proposal consists in combining generalized quantifiers with dependent types.Empirically, our system allows a uniform treatment of all types of unbound anaphora, including the notoriously difficult cases such as quantificational subordination, cumulative and branching continuations, and donkey anaphora.