Condensed Representation of Global Diagnoses with Minimal Cardinality in Local Diagnoses