In this paper, we show that Higher{Order Coloured Uni cation { a form of uni cation developed for automated theorem proving { provides a general theory for modeling the interface between the interpretation process and other sources of linguistic, non semantic information. In particular, it provides the general theory for the Primary Occurrence Restriction which (Dalrymple et al., 1991)'s analysis called for.

In this paper back-and-forth structures are applied to the semantics of natural language. Back-and-forth structures consist of an event structure and an interval structure communicating via a relational link; transitions in the one structure correspond to transitions in the other. Such entities enable us to view temporal constructions (such as tense, aspect, and temporal connectives) as methods of moving systematically between information sources. We illustrate this with a treatment of the English present perfect, and progressive aspect, that draws on ideas (...) developed in Moens & Steedman (1988), and discuss the role of rich ontologies in formal semantics. (shrink)

In this paper, we claim that the disambiguation ofreferring expressions in discourse can be formulated in terms automatedreasoners can address. Specifically, we show that consistency,informativity and minimality are criteria which (i) can be implementedusing automated reasoning tools and (ii) can be used to disambiguatenoun-noun compounds, metonymy and definite descriptions.

The HOU-based analysis of ellipsis was shown byDalrymple et al. (1991) and Shieber et al. (1996) to correctly capture thecomplex interaction of VP-ellipsis, scope and anaphora and claimed toextend to further related phenomena. When applied to deaccenting, theanalysis makes a strong prediction, namely that all anaphors occurringin the deaccented part of a deaccented utterance are parallelanaphors, i.e., anaphors that resolve to their parallel counterpart inthe source. I argue that this prediction is supported by the data andshow that it correctly captures (...) the interaction of deaccenting withanaphora, (in)definiteness and focus. (shrink)