Assertion: expression's value | /r/HasProperty | assigned by a theory of reference
Facets:
Source sentences:
text: In effect, possible worlds semantics takes the meanings of expressions to be functions from worlds to the values which would be assigned by a theory of reference to those expressions at the relevant world: in that sense, intensions are a kind of “extra layer” on top of the theory of reference.