The model-theoretic approach, like other truth conditional theories, assumes that meaning is determined compositionally, that a meaning of a sentence is the meaning of its parts composed together [4].
In order to evaluate the truth value of a sentence, a model of the world is needed. A basic model consists of a set containing entities within the world (the universe of discourse) and an interpretation function which transforms linguistic expressions into elements, or sets of elements, of the universe of discourse. However, this is still a purely theoretical stand-point and has little grounding.