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