make case distinctions) over the cardinality of the output description starting with the lowest possible value.
first the algorithm will try to find a description with cardinality one, then with cardinality two etc.