This article is the working horse of the description of the daba.

A first approximation of a global view on the daba was presented at The daba external view--it is just a special and very long dabanese statement. This view should not be treated graphically as exact. Any white characters in any dabanese statement can be replaced by any other white characters, and even by several white characters in a row, where they do not to be of one kind (one can be a white space, the next one can be eof or a couple of eof characters, etc). Thus now I will use the eof characters, and forst of all, the presentation of the daba below will include one more feature:

( ( -1 { ∀ ∅ } ) { ( $\ldots$ ) ( $\ldots$ ) ( $\ldots$ ) } )

Where this time you can see that every main dabatam of the daba is an orderd list (since it is a pair of parentheses with some stuff $\ \ldots\ $ inside. Of course the real daba contains many main dabatems, many more than three! Of course this dabanese can look equivalently like this:

( ( -1 { ∀ ∅ } ) { ( $\ldots$ )

( $\ldots$ )

( $\ldots$ ) } )

which is a more realistic view. However, comments can be inserted in many different places. They should never disturb the dabanese syntax. It is an obligation of the authors of the comments.

It will be easier to introduce the definition of the dabatems together with an example. I'll start systematically with the initial dabatem:

(

0 0 2014-05-01;23:30 $\forall$

( { } { } { } { } )

{ }

_<< hints in English--the top dabatem: the daba, all, everything, universe. >>_

)

The explanation:

- Just before each (main) dabatem the daba contains an anchor inside a daba comment. You may point it dabatem 0 by clicking on dabatem 0. Then you can see the dabatem 0 on the daba page--see just below how to recognize a dabatem by its (historic) number (here 0); the anchor just says
*anchor*. However, the dabatems get changed occasionally. Never in an essential way (or otherwise a new dabatem is added to the daba). - The line just after lonely "(" contains four fields:
- First 0 stands for the historic number of the dabatem.
- Next 0 stands for the previous historic number of an earlier version of the givendabatem; or, rather exceptionally, like here, when there is no previous version, than it is the same number. The historic number of the previous version is always less or equal than the given one.
- Now, after the historic and previous historic number, the date of the introducing this dabatem to the daba is included. The Greenwich time is used. It is always in the format:

where**yyyy-mm-dd;hh:MM**stands for year,**yyyy**--for month,**mm**--for the day,**dd**--for the 24-clock hour,*hh*--for minutes.*MM* - The last data on the given line above is the name of the dabatam, here: $\forall$.

- The next line (a sub-dabatem) is an ordered list: ( { } { } { } { } ), which consists of the following four unordered lists, here all four are empty:
- parents
- ex-parents
- children
- ex-children

- The final of the above (main) dabatem is the description of the dabatem; here it is empty.

This dabatem is given as follows:

(

1 1 2014-05-02;04:40 $\emptyset$

( { 0 } { } { } { } )

{ { } ( ) }

__<< hints in English--the buttom dabatem: emptiness, empty set, nothingness. >>_

_<< $\emptyset$ and the empty lists { } and ( ) are all the same. That's what the last dabanese line above says. >>_

)

Explanations (remamber that in the daba there is also an anchor just before this dabatem 1, i.e. between dabatems 0 and 1):

- This time the historic number and the previous one are both 1 (because there was no previous version of this dabatem 1).
- Dabatem 1 has dabatem 0 as its one and only parent. This means that Dabatem 0 has to be updated, as illustrated in the next section baout the upadate, to reflect the new parent-child relation of the dabatems 0 and 1. The remainin three lists: ex-parents, children, and ex-children are empty.

Dabatem 1 became a child of dabatem 0. This requires an update of dabatem 0. Now its ordered list of parents, etc. looks like this:

( { } { } { { 2014-05-02;04:40 [ 1 ] } } { } )

The lists of parents and ex-parents are still empty. In the case of dabatem 0, which is $\forall$ (i.e. the daba), it will always be empty. Also, the last list, that of the ex-children, still is empty (this will change soon, at the time of the next update). But the list of children now, at this time, is:

{ { 2014-05-02;04:40 [ 1 ] } }

This list has just one member: { 2014-05-02;04:40 [ 1 ] }. This shows the accented element [ 1 ], which means that this dabanese phrase mainly presents just 1. But there is an additional description, namely the timing of the updating the list of children. When an dabatem (i.e. the data historic number) n appears in the definition of another dabatem m after the initial introduction time of that other dabatem m, than the mentioned number n has to appear together with the time of the updating.

No other modifications or additions have appeared at this time.