Go backward to Natural Language TermsGo up to TopGo forward to Examples |

*Definition:* The *meaning of a term*
`t` under an assignment `a` is:

- If
`t`is a variable, then its meaning is the value to which the variable is mapped by the assignment. - If
`t`is an elementary term*fc*(`t`_{0}, ...,`t`_{n-1}) then its meaning is the result of the application of the function`f`denoted by the function constant*fc*to the values of the terms`t`_{i}for the given assignment.- Determine values of the terms
`t`_{i}under`a`. - Determine function
`f`denoted by constant`fc`. - Apply
`f`to values and get domain value.

- Determine values of the terms

Author: Wolfgang Schreiner

Last Modification: October 6, 1999