To take into account disjunctive properties, the constraints used can be modified as indicated in Figure 8.
the algorithm looks for a tuple of sets such that their union  is a basic distinguishing description for E 9 É  where each ¹ is a conjunctive description.