The standard interpretation of a term in some language Yields the term' s standard denotational semantics, i.e. its "meaning". This is usuallY given bY a semantic function which maps a term in the abstract sYntax to a point in some domain. The domain is the interpretation of the term' s tYpe. The semantic function also takes an environment - a function which maps the free variables of the term to their meaning. We saY that a domain point "denotes", or "is the denotation of", a term. A non-standard semantics results from some other interpretation, e.g. an abstract interpretation.