Found:

Interpretation function

SEMANTICS: the function mapping constants of predicate logic to their denotation in the universe of discourse. Individual constants are mapped to individuals and n-place predicate letters are mapped to sets of ordered n-tuples.

LIT.	Gamut, L.T.F. (1991)