Sometimes the sets that are presupposed to stand in the inclusion relation do not come directly from the antecedent and the consequent, but from the antecedent and the consequent together with other relevant background information.