Suppose we are asked, ``How did Junior fly from Glasgow to London?''
and want to respond with facts about taking a taxi to the airport,
presenting his ticket at the check-in counter, going to the gate,
getting on the airplane, taking his assigned seat, etc. We can add
this additional narrative with its intermediate situations, and we can
throw in reading the book if we like. There is no reason to discard
. We merely have a
redundant way of reaching the same conclusion. This is allowed in our
formalism, and this property is demonstrated by the two ways in which
we describe how Daddy gets the money for Junior.
However, we would like a sentence relating the more detailed narrative to the less detailed narrative, i.e. of asserting that one realizes the other. For this we will at least need narratives as objects, and this has not yet been introduced.
Note that the relation Elaborates(N2,N1), when we get around to introducing it, will not be like the relation between a subroutine call and the subroutine. N1 will not in any sense be the definition of N2. N2 could be realized in a number of ways, only one of which corresponds to N1.