Now, [1]} have identified sufficient conditions for a (multi-label, yet Boolean) classifier to offer XAI queries
based on the queries and transformations of the language \(\mathcal {L}\)  used to represent it. Those queries and transformations are standard queries and
transformations from the knowledge compilation map [2]}.
