 Soames and Salmon are direct reference theorists, holding that names (as well as indexicals and demonstratives) have their referents as their semantic values and so contribute them to the propositions expressed by sentences containing them. Further they hold that predicates and intransitive verbs have properties as their semantic values; and that transitive verbs have relations as their semantic values. Thus they hold that sentences such as