 In a series of papers and a book, Scott Soames [1985, 1987, 1989] and Nathan Salmon [1986a, 1986b, 1989a, 1989b] have laid out what is probably the best known current theory of structured propositions. There are some differences of detail between Salmon and Soames, but both shall be treated here as holding the same view. Though some of their contributions will be discussed separately, the main account followed will be that laid out in Soames [1987].