We will also introdece a meta-symbolic level where we preach about the behavior of the sentenes that compund a knowledge base, making no reference to its syntactic form.
We will analyze the change operations on the implementation level.