{- ============================== 
   Copyright (c) 2024 SysFEAT - Systemic Framework for Enterprise Architecture & Transformation
   This work is released under the MIT License.
   framework.sysfeat.com

Business Capability Assessment: 
Assessment of business capabilities.
 - ============================== -}

{-# OPTIONS --cubical --guardedness #-}
{-# OPTIONS --cubical-compatible #-}

module 60ab69425f896585 where -- ========== Business Capability Assessment

open import Agda.Primitive
open import Relation.Binary.PropositionalEquality
open import Data.Product renaming (_×_ to _⊗_)
open import 3b539cbb551e4c2a public -- Assessment
open import 21ed240a689c08df public -- Value Proposition

postulate
  BusinessCapabilityAssessment : ClassOfBoundedIndividual

postulate --  BusinessCapabilityAssessment is subTypeOf Assessment
  st-60ab694b5f8965f1 : BusinessCapabilityAssessment ⊏⋆ₑ Assessment

-- == Relationships =======================

{- Assessed Business Capability:  -}
postulate -- Relation: Assessed Business Capability
  assessedBusinessCapability : classOfMixedOrderRelation  BusinessCapabilityAssessment ValueProposition