list_expls_str.append('Contrastive: IF {0} THEN class!={1}'.format(' OR '.join(['!{0}'.format(self.fvmap[p])forpinsorted(expl,key=lambdap:p[0])]),term))
explanation["List of path contrastive explanation(s)"]=list_contrastive_expls
explanation["List of contrastive explanation(s)"]=list_expls_str
explanation["Number of contrastive explanation(s) : "]=str(len(expls))