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.