 This highlights an important feature of structured proposition accounts that distinguishes them from the other main competing account of propositions, namely the account of propositions as sets of possible worlds (to be discussed below). Because structured propositions have as parts the semantic values of expressions in the sentences expressing them, the semantic values of those expressions are recoverable from the semantic values of the sentences (i.e. the propositions).