In this chapter, we specify the linguistic level at which we will operate in the following chapters. This includes the language itself, i.e., the vocabulary, its formal structure, i.e., the syntax, and its meaning, i.e., the semantics. Additionally, this includes the structure of the thinking required here or the representation of the thought models, which is relatively simple using formal logic.