A description of a theory and system for the semantic analysis of coherent discourse in English. It is based on a set of semantic operations which draw inferences selectively and in a context-dependent fashion from a data base, or lexicon, of world knowledge.