Abstract
Higher order unification is a way of combining information (or equivalently, solving equations) expressed as terms of a typed higher order logic. A suitably restricted form of the notion has been used as a simple and perspicuous basis for the resolution of the meaning of elliptical expressions and for the interpretation of some non-compositional types of comparative construction also involving ellipsis. This paper explores another area of application for this concept in the interpretation of sentences containing intonationally marked ‘focus’, or various semantic constructs which are sensitive to focus.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have