The following publication is a short version of this SEKI-Report:

This paper describes a prototype implementation of a Labelled Deduction System for natural language interpretation [Gabbay & Kempson 1992], where interpretation is taken to be the process of understanding a natural language utterance. The implementation models the process of understanding wh-gap dependencies in questions and relative clauses for a fragment of English. The paper is divided in three main sections. In section 1, we introduce the basic architecture of the system. Section 2 outlines a prototype implementation of wh-binding and indicates its potential for explanation of linguistic phenomena, and in Section 3 we briefly set the model within a larger theoretical perspective, comparing it to other type-logical approaches to natural language analysis. 0 A Brief Background on LDSNL In LDSNL , natural language understanding is modelled as a syntactic process mapping lexical items onto representations in some logical system. The outcome of the interpretation process is taken to be...