OCL2.0context scopes::hasDetail():Boolean body self.dst_to_scopes.src_from_produces.dst_to_produces.src_from_stateOf.dst_to_stateOf.src_from_scopes->asSet()->intersection(self->asSet())->notEmpty()scopes_OCL0BACMPathLanguagescopes.to_scopes.AbstractCapability.^from_produces.produces.to_produces.Outcome.^from_stateOf.stateOf.to_stateOf.AbstractBusinessObject.^from_scopes.scopesscopes_BACMPL0
OCL2.0context object::hasDetail():Boolean body self.dst_to_object.src_to_stateOf.dst_from_stateOf->selectByKind(ProcurementOutcome).src_to_incorporates_3.dst_from_incorporates_3->selectByKind(ProcurementOffering).src_from_object->asSet()->intersection(self->asSet())->notEmpty()object_OCL0BACMPathLanguageobject.to_object.AbstractBusinessObject.^to_stateOf.stateOf.from_stateOf.Outcome.^generalizes.ProcurementOutcome.^to_incorporates_3.incorporates_3.from_incorporates_3.ProcurementOffering.^from_object.objectobject_BACMPL0
OCL2.0context object_1::hasDetail():Boolean body self.dst_to_object_1.src_to_stateOf.dst_from_stateOf->selectByKind(MerchandiseOutcome).src_to_incorporates_1.dst_from_incorporates_1->selectByKind(MerchandiseOffering).src_from_object_1->asSet()->intersection(self->asSet())->notEmpty()object_1_OCL0BACMPathLanguageobject_1.to_object_1.AbstractBusinessObject.^to_stateOf.stateOf.from_stateOf.Outcome.^generalizes.MerchandiseOutcome.^to_incorporates_1.incorporates_1.from_incorporates_1.MerchandiseOffering.^from_object_1.object_1object_1_BACMPL0
OCL2.0context object_2::hasDetail():Boolean body self.dst_to_object_2.src_from_produces.dst_to_produces->selectByKind(ServiceOutcome).src_to_incorporates_4.dst_from_incorporates_4->selectByKind(ServiceOffering).src_from_object_2->asSet()->intersection(self->asSet())->notEmpty()object_2_OCL0BACMPathLanguageobject_2.to_object_2.AbstractCapability.^from_produces.produces.to_produces.Outcome.^generalizes.ServiceOutcome.^to_incorporates_4.incorporates_4.from_incorporates_4.ServiceOffering.^from_object_2.object_2object_2_BACMPL0
OCL2.0context implements::hasDetail():Boolean body self.dst_to_implements.src_ofCapability->selectByKind(PerformerRole).dst_assignTo->selectByKind(Performer).aggregator->selectByKind(CapabilityImplementation).src_from_implements->asSet()->intersection(self->asSet())->notEmpty()implements_OCL0BACMPathLanguageimplements.to_implements.AbstractCapability.^ofCapability.Role.^generalizes.PerformerRole.assignTo.Performer.^aggregates.CapabilityImplementation.^from_implements.implementsimplements_BACMPL0
OCL2.0context implements_1::hasDetail():Boolean body self.dst_to_implements_1.src_ofCapability.dst_ofProcess.src_from_implements_1->asSet()->intersection(self->asSet())->notEmpty()implements_1_OCL0BACMPathLanguageimplements_1.to_implements_1.AbstractCapability.^ofCapability.Role.ofProcess.AbstractProcess.^from_implements_1.implements_1implements_1_BACMPL0
OCL2.0context supports::hasDetail():Boolean body self.dst_to_supports.src_from_produces_1.dst_to_produces_1.src_from_values.dst_to_values.src_to_produces.dst_from_produces->selectByKind(Capability).src_from_supports->asSet()->intersection(self->asSet())->notEmpty()supports_OCL0BACMPathLanguagesupports.to_supports.ValueStreamStage.^from_produces_1.produces_1.to_produces_1.ValueItem.^from_values.values.to_values.Outcome.^to_produces.produces.from_produces.AbstractCapability.^generalizes.Capability.^from_supports.supportssupports_BACMPL0
OCL2.0context assignTo::hasDetail():Boolean body self.dst_to_assignTo.aggregated.src_assignTo.src_from_assignTo->asSet()->intersection(self->asSet())->notEmpty()assignTo_OCL0BACMPathLanguageassignTo.to_assignTo.CapabilityImplementation.aggregates.Resource.^assignTo.ResourceRole.generalizes.Role.^from_assignTo.assignToassignTo_BACMPL0OCL2.0context assignTo::hasDetail():Boolean body self.dst_to_assignTo.aggregated.src_assignTo.src_from_assignTo->asSet()->intersection(self->asSet())->notEmpty()assignTo_OCL0BACMPathLanguageassignTo.to_assignTo.CapabilityImplementation.aggregates.Performer.^assignTo.PerformerRole.generalizes.Role.^from_assignTo.assignToassignTo_BACMPL0
OCL2.0context triggers::hasDetail():Boolean body self.dst_to_triggers.src_from_produces_1.dst_to_produces_1.src_from_values.dst_to_values.src_from_triggers->asSet()->intersection(self->asSet())->notEmpty()triggers_OCL0BACMPathLanguagetriggers.to_triggers.ValueStreamStage.^from_produces_1.produces_1.to_produces_1.ValueItem.^from_values.values.to_values.Outcome.^from_triggers.triggerstriggers_BACMPL0
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
OCL2.0context of::hasDetail():Boolean body self.dst_to_of.src_from_incorporates.dst_to_incorporates.src_to_values.dst_from_values.aggregator.src_from_of->asSet()->intersection(self->asSet())->notEmpty()of_OCL0BACMPathLanguageof.to_of.ProductOffering.^from_incorporates.incorporates.to_incorporates.Outcome.^to_values.values.from_values.ValueItem.^aggregates.ValueProposition.^from_of.ofof_BACMPL0
OCL2.0context participate::hasDetail():Boolean body self.dst_to_participate.src_from_produces_1.dst_to_produces_1.src_from_values.dst_to_values.src_to_produces.dst_from_produces.src_ofCapability->selectByKind(PerformerRole).dst_assignTo->selectByKind(Performer).src_from_participate->asSet()->intersection(self->asSet())->notEmpty()participate_OCL0BACMPathLanguageparticipate.to_participate.ValueStreamStage.^from_produces_1.produces_1.to_produces_1.ValueItem.^from_values.values.to_values.Outcome.^to_produces.produces.from_produces.AbstractCapability.^ofCapability.Role.^generalizes.PerformerRole.assignTo.Performer.^from_participate.participateparticipate_BACMPL0