A thought is now pondered in FOO, but that thought causes the thought hmm to be pondered in BAR. Thus hmm is being pondered in BAR within the understanding of FOO. Although FOO has overloaded the definition of . with DOT, BAR still has the conventional definition of . in its understanding. This overloads the overload resulting in the conventional behavior of . being exhibited in spite of FOO's different understanding.
FOO then ponders hmm within the understanding of snooze, causing the values of snooze's version of the variables to be displayed using FOO's version of the printing word. This shows multiple inheritance as a function of nested execution of dreams. The next example shows a doubly nested thought being pondered, resulting in a triply nested execution of a dream.
The dream nap is then pondered within the understanding of FOO to demonstrate that the overloaded behavior of . is inherited in the dream within a dream. The understanding at any given point is a result of the cumulative nested understandings of all dreams that are currently executing. This is one mechanism of inheritance in dreams. The other mechanism of inheritance occurs when the essence of a dream is created and the then active values and behaviors for all words local to that dream are copied over into the essence of the newly created dream.