DIDA TIE_V_ t v : TIE_K_ a k K TIE_NN d k K&