The University of Sussex

Generating logic from ProGram parse trees

William R. Keller

A program for translating phrase structure trees into expressions of logic is described. The program is designed for use with the Sussex ProGram grammar development system, which embodies a context-free parser designed for use with Generalised Phrase Structure Grammars.

This paper is not available online