is the internal knowledge base language.
is especially designed and mathematically proved
to be capable to express any human-percept notions and ideas,
including definitions of the usersí and documentsí languages.
is tolerant to any incompleteness in an external
is capable to gradually accomplish and refine
previously accumulated knowledge in the process of operation.