Valuation Function
The valuation function maps a language’s abstract syntax structures to meanings drawn from semantic domains.
The domain of a valuation function is the set of derivation trees of a language.
The valuation function is defined structurally
It determines the meaning of a derivation tree by determining the meanings of its subtrees and combining them into a meaning for the entire tree.