 DEKI: Let \(M = \langle X, I \rangle\) be a model, where \(X\) is an object and \(I\) an interpretation. Let \(T\) be the target system. \(M\) represents \(T\) as \(Z\) iff all of the following conditions are satisfied: