A Modular Consistency Proof for DOLCE