Even after an unambiguous semantic interpretation has been computed for a sentence in context, there are at least three reasons that a system may map the semantic representation R into another form S. 1. The terms of R, while reflecting the user view, may require deeper understanding, e.g. may require a version S where metaphors have been analyzed. 2. Transformations of R may be more appropriat...

This paper discusses some of the linguistic problems encountered during the development of the User Specialty Languages (USL) system, an information system that accepts a subset of German or English as input for query, analysis, and updating of data. The system is regarded as a model for portions of natural language that are relevant to interactions with a data base. The model provides insight ...

W e define t h e no t i on of an inductively defined type in t h e Calculus of C o n s t r u c t i o n s a n d show how induc t ive ly defined types can be represen ted by closed t y p e s . W e show t h a t all p r imi t ive recursive funct ionals over these induct ive ly defined types a r e also r ep resen tab le . Th i s general izes work by B o h m & Be ra rducc i on synthes is of funct ion...