 The theory of the “properties of terms” forms the basis of medieval semantic theory and provides an account of how terms function within the broader context of sentences, as well as how these different functions can account for the different rules governing inference. Sherwood identifies the four main properties of terms as (1) signification; (2) supposition; (3) copulation; and (4) appellation (Kretzmann 1966, p. 105). In this classification he differs from other accounts which mention (1) signification; (2) supposition and copulation; (3) ampliation and restriction; (4) appellation; and (5) relation.