In earlier publications (Suppes, 1976, 1979; Suppes & Macken, 1978), I have emphasized the development of a model-theoretic semantics for English sentences, which uses neither quantifiers nor variables, but only constants denoting given sets and relations, and operations on sets and relations. I first want to survey these developments and then consider some extensions to procedural semantics.