standard semantics
standard interpretation

   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.