OCL2.0context target::hasDetail():Boolean body self.dst_to_target.src_customer.dst_proposition.src_from_target->asSet()->intersection(self->asSet())->notEmpty()target_OCL0BACMPathLanguagetarget.to_target.Customer.^customer.ValueCharacteristic.proposition.ValueProposition.^from_target.targettarget_BACMPL0