second project of semantics (DIT2)