Stav dette: Formal semantic analysis :