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.