Then using results reported in [1]}, we get that DT offers the XAI queries EMC, ECO, CIN, EIN, IMA, MCP.
Finally, though DT does not satisfy \(\mathbf {FO}\)  [2]}, the XAI queries that have been addressed using forgetting in [1]} require
to apply the forgetting transformation to eliminate from \(T\)  variables representing classes. This is useless here since no class variable is used
in \(T\)  (only two classes are implicitly considered here, the one associated with \(T\) , alias the class of positive instances, and its complementary set
which can be obtained by computing \(T^{\prime }\) ).
Thus, DT also offers the XAI queries DPI,A more direct proof can be found in [4]}. IIR, and IMO.
