  Taylor (1981), King (2001), and Neale (2004) endorse quantificational theories of complex demonstratives. For example, on King’s view, the content of (23), in some contexts in which the agent perceives Mary and believes Mary to be a philosopher, is necessarily equivalent to the content of (24) in that same context (assuming that definite descriptions are quantifier phrases, not singular terms).