There has recendy been a revival of interest in Categorial Grammars (CG) among computational linguists. The various versions noted below which extend pure C G by including operations such as functional composition have been claimed to offer simple and uniform accounts of a wide range of natural language (NL) constructions involving bounded and unbounded "movement" and coordination "reduction" in a number of languages. Such grammars have obvious advantages for computational applications, provided that they can be parsed efficiently.
This paper describes a 'Logical Form' target language for representing the literal meaning of English sentences, and an intermediate level of representation ('Quasi Logical Form') which engenders a natural separation between the compositional semantics and the processes of scoping and reference resolution. The approach has been implemented in the SRI Core Language Engine which handles the English constructions discussed in the paper.
Since the method of treating snakebite-poisoning by hypodermic injections of strychnine, discovered by the
writer and published but a few years ago, has already been adopted by the medical profession throughout the
Australian colonies, and practised even by laymen in cases of urgency with much success, it has been
repeatedly suggested to him that the subject calls for further elucidation at his hands; that the morbid
processes engendered by the snake venom and the modus operandi of the antidote should be explained by him
in a manner satisfying the demands of science, and at the same time wi...