Interpretation function

A function mapping syntactic terms to mathematical objects (denotations) in a Semantic domain, assigning meaning compositionally based on the structure of terms.