Incremental interpretation using a tree description language

We outline some techniques for incremental, left-to-right semantically-based parsing which involve construction of partial specifications of binary trees in a modal tree description language LOFT, allowing for resolution of local ambiguity on the basis of contextual knowledge. The leaf nodes are decorated with pairs of type-logical formulas and lambda- expressions, with the logical form derived by successive function application on pairs of sister nodes. This is applied to examples of adjunct attachment and `garden-pathing' involving argument re-analysis, bringing out a connection between these phenomena.

Rodger Kibble, Lutz Marten and Wilfried Meyer Viol