Extension of the entailment relation, decomposing definites, partitives, distributivity operator (M-I-T)