OCL2.0context scopes::hasDetail():Boolean body self.dst_to_scopes.src_prod_0_src.dst_prod_0_tgt.src_from_stateOf.dst_to_stateOf.src_from_scopes->asSet()->intersection(self->asSet())->notEmpty()scopes_OCL0BACMPathLanguagescopes.to_scopes.AbstractCapability.^prod_0_src.produces_0.prod_0_tgt.Outcome.^from_stateOf.stateOf.to_stateOf.AbstractBusinessObject.^from_scopes.scopesscopes_BACMPL0 OCL2.0context object_1::hasDetail():Boolean body self.dst_to_object_1.src_to_stateOf.dst_from_stateOf->selectByKind(ProcurementOutcome).src_to_incorporates_1.dst_from_incorporates_1->selectByKind(ProcurementOffering).src_from_object_1->asSet()->intersection(self->asSet())->notEmpty()object_1_OCL0BACMPathLanguageobject_1.to_object_1.AbstractBusinessObject.^to_stateOf.stateOf.from_stateOf.Outcome.^generalizes.ProcurementOutcome.^to_incorporates_1.incorporates_1.from_incorporates_1.ProcurementOffering.^from_object_1.object_1object_1_BACMPL0 OCL2.0context object_0::hasDetail():Boolean body self.dst_to_object_0.src_to_stateOf.dst_from_stateOf->selectByKind(MerchandiseOutcome).src_to_incorporates_2.dst_from_incorporates_2->selectByKind(MerchandiseOffering).src_from_object_0->asSet()->intersection(self->asSet())->notEmpty()object_0_OCL0BACMPathLanguageobject_0.to_object_0.AbstractBusinessObject.^to_stateOf.stateOf.from_stateOf.Outcome.^generalizes.MerchandiseOutcome.^to_incorporates_2.incorporates_2.from_incorporates_2.MerchandiseOffering.^from_object_0.object_0object_0_BACMPL0 OCL2.0context depends_0::hasDetail():Boolean body self.dst_to_depends_0.src_prod_0_src.dst_prod_0_tgt.src_from_stateOf.dst_to_stateOf.rel.obj.src_to_stateOf.dst_from_stateOf.src_prod_0_tgt.dst_prod_0_src.src_from_depends_0->asSet()->intersection(self->asSet())->notEmpty()depends_0_OCL0BACMPathLanguagedepends_0.to_depends_0.AbstractCapability.^prod_0_src.produces_0.prod_0_tgt.Outcome.^from_stateOf.stateOf.to_stateOf.AbstractBusinessObject.^related_1.ObjectRelation.related_1.AbstractBusinessObject.^to_stateOf.stateOf.from_stateOf.Outcome.^prod_0_tgt.produces_0.prod_0_src.AbstractCapability.^from_depends_0.depends_0depends_0_BACMPL0 OCL2.0context object_2::hasDetail():Boolean body self.dst_to_object_2.src_prod_0_src.dst_prod_0_tgt->selectByKind(ServiceOutcome).src_to_incorporates_3.dst_from_incorporates_3->selectByKind(ServiceOffering).src_from_object_2->asSet()->intersection(self->asSet())->notEmpty()object_2_OCL0BACMPathLanguageobject_2.to_object_2.AbstractCapability.^prod_0_src.produces_0.prod_0_tgt.Outcome.^generalizes.ServiceOutcome.^to_incorporates_3.incorporates_3.from_incorporates_3.ServiceOffering.^from_object_2.object_2object_2_BACMPL0 OCL2.0context implements_0::hasDetail():Boolean body self.dst_to_implements_0.src_ofCapability.dst_ofProcess.src_from_implements_0->asSet()->intersection(self->asSet())->notEmpty()implements_0_OCL0BACMPathLanguageimplements_0.to_implements_0.AbstractCapability.^ofCapability.Role.ofProcess.AbstractProcess.^from_implements_0.implements_0implements_0_BACMPL0 OCL2.0context realizedAs::hasDetail():Boolean body self.dst_to_realizedAs.src_from_realize.dst_to_realize.src_to_recordedAs.dst_from_recordedAs.src_from_realizedAs->asSet()->intersection(self->asSet())->notEmpty()realizedAs_OCL0BACMPathLanguagerealizedAs.to_realizedAs.BusinessObject.^from_realize.realize.to_realize.InformationItem.^to_recordedAs.recordedAs.from_recordedAs.Outcome.^from_realizedAs.realizedAsrealizedAs_BACMPL0 OCL2.0context staffs::hasDetail():Boolean body self.dst_to_staffs.dst_implements_7->selectByKind(PerformerRole).dst_assignTo_2->selectByKind(Performer).src_from_belongsTo_1.dst_to_belongsTo_1->selectByKind(OrgUnit).src_from_staffs->asSet()->intersection(self->asSet())->notEmpty()staffs_OCL0BACMPathLanguagestaffs.to_staffs.CapabilityImplementation.implements_7.Role.^generalizes.PerformerRole.assignTo_2.Performer.^from_belongsTo_1.belongsTo_1.to_belongsTo_1.OrgUnit.^from_staffs.staffsstaffs_BACMPL0OCL2.0context staffs::hasDetail():Boolean body self.dst_to_staffs.dst_implements_7->selectByKind(ResourceRole).dst_assignTo_1->selectByKind(AbstractBusinessObject).src_from_belongsTo_2.dst_to_belongsTo_2->selectByKind(OrgUnit).src_from_staffs->asSet()->intersection(self->asSet())->notEmpty()staffs_OCL0BACMPathLanguagestaffs.to_staffs.CapabilityImplementation.implements_7.Role.^generalizes.ResourceRole.assignTo_1.AbstractBusinessObject.^from_belongsTo_2.belongsTo_2.to_belongsTo_2.OrgUnit.^from_staffs.staffsstaffs_BACMPL0 OCL2.0context trigger_0::hasDetail():Boolean body self.dst_to_trigger_0.src_from_trigger_1.dst_to_trigger_1.src_owns_2.src_to_takes.dst_from_takes.src_from_trigger_0->asSet()->intersection(self->asSet())->notEmpty()trigger_0_OCL0BACMPathLanguagetrigger_0.to_trigger_0.Outcome.^from_trigger_1.trigger_1.to_trigger_1.CustomerJourneyStage.^owns_2.CustomerJourney.^to_takes.takes.from_takes.Customer.^from_trigger_0.trigger_0trigger_0_BACMPL0 OCL2.0context exitCriteria::hasDetail():Boolean body self.dst_to_exitCriteria.src_prod_0_tgt.dst_prod_0_src->selectByKind(Capability).src_from_supports.dst_to_supports->selectByKind(ValueStreamStage).src_from_exitCriteria->asSet()->intersection(self->asSet())->notEmpty()exitCriteria_OCL0BACMPathLanguageexitCriteria.to_exitCriteria.Outcome.^prod_0_tgt.produces_0.prod_0_src.AbstractCapability.^generalizes.Capability.^from_supports.supports.to_supports.ValueStreamStage.^from_exitCriteria.exitCriteriaexitCriteria_BACMPL0 OCL2.0context entryCriteria::hasDetail():Boolean body self.dst_to_entryCriteria.src_needs_0_tgt.dst_needs_0_src->selectByKind(Capability).src_from_supports.dst_to_supports->selectByKind(ValueStreamStage).src_from_entryCriteria->asSet()->intersection(self->asSet())->notEmpty()entryCriteria_OCL0BACMPathLanguageentryCriteria.to_entryCriteria.Outcome.^needs_0_tgt.needs_0.needs_0_src.AbstractCapability.^generalizes.Capability.^from_supports.supports.to_supports.ValueStreamStage.^from_entryCriteria.entryCriteriaentryCriteria_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 produces_2::hasDetail():Boolean body self.dst_to_produces_2.src_from_values.dst_to_values.src_prod_0_tgt.dst_prod_0_src->selectByKind(Capability).src_from_supports.dst_to_supports->selectByKind(ValueStreamStage).src_from_produces_2->asSet()->intersection(self->asSet())->notEmpty()produces_2_OCL0BACMPathLanguageproduces_2.to_produces_2.ValueItem.^from_values.values.to_values.Outcome.^prod_0_tgt.produces_0.prod_0_src.AbstractCapability.^generalizes.Capability.^from_supports.supports.to_supports.ValueStreamStage.^from_produces_2.produces_2produces_2_BACMPL0 OCL2.0context of::hasDetail():Boolean body self.dst_to_of.src_from_incorporates_0.dst_to_incorporates_0.src_to_values.dst_from_values.src_aggregates_3.src_from_of->asSet()->intersection(self->asSet())->notEmpty()of_OCL0BACMPathLanguageof.to_of.ProductOffering.^from_incorporates_0.incorporates_0.to_incorporates_0.Outcome.^to_values.values.from_values.ValueItem.^aggregates_3.ValueProposition.^from_of.ofof_BACMPL0 OCL2.0context produces_1::hasDetail():Boolean body self.dst_to_produces_1.dst_aggregates_3.src_to_produces_2.dst_from_produces_2.src_owns_1.src_from_produces_1->asSet()->intersection(self->asSet())->notEmpty()produces_1_OCL0BACMPathLanguageproduces_1.to_produces_1.ValueProposition.aggregates_3.ValueItem.^to_produces_2.produces_2.from_produces_2.ValueStreamStage.^owns_1.ValueStream.^from_produces_1.produces_1produces_1_BACMPL0 OCL2.0context participate::hasDetail():Boolean body self.dst_to_participate.src_from_produces_2.dst_to_produces_2.src_from_values.dst_to_values.src_prod_0_tgt.dst_prod_0_src.src_ofCapability->selectByKind(PerformerRole).dst_assignTo_2->selectByKind(Performer).src_from_participate->asSet()->intersection(self->asSet())->notEmpty()participate_OCL0BACMPathLanguageparticipate.to_participate.ValueStreamStage.^from_produces_2.produces_2.to_produces_2.ValueItem.^from_values.values.to_values.Outcome.^prod_0_tgt.produces_0.prod_0_src.AbstractCapability.^ofCapability.Role.^generalizes.PerformerRole.assignTo_2.Performer.^from_participate.participateparticipate_BACMPL0