This volume contains a detailed, precise and clear semantic formalism designed to allow non-programmers such as linguists and literary specialists to represent elements of meaning which they must deal with in their research and teaching. At the same time, by its basis in a functional programming paradigm, it retains sufficient formal precision to support computational implementation.

The formalism is designed to represent meaning as found at a variety of levels, including basic semantic units and relations, word meaning, sentence-level phenomena, and text-level meaning. By drawing...