corrected DL of cardinality restrictions