T2.3-D3: Formal Description and Analysis of Concepts (3)