For example, the phrase n*m produces a denotation when provided with an environment that has binding for its two free variables: n and m.
Για παράδειγμα, η φράση n*m παράγει μια δήλωση όταν της δοθεί ένα περιβάλλον που έχει δεσμεύσεις για τις δύο μεταβλητές της: τη n και τη m.