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

Resolution: 
A Resolution is time bound Appraisal, agreed upon by Stakeholders to guide what can or cannot be done regarding a specific Functional Asset.
 - ============================== -}

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

module e073f9c161d2104a where -- ========== Resolution

open import Agda.Primitive
open import Relation.Binary.PropositionalEquality
open import Data.Product renaming (_×_ to _⊗_)
open import bcdbc016617a55be public -- Appraisal
open import 0eb95f356855bf94 public -- Asset Block
open import 97e09afa68dd69f1 public -- Resolution Outcome

postulate
  Resolution : ClassOfBoundedIndividual

postulate --  Resolution is subTypeOf Appraisal
  st-e073f9f261d210ca : Resolution ⊏⋆ₑ Appraisal

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

{- Concerned Asset:  -}
postulate -- Relation: Concerned Asset
  concernedAsset : classOfMixedOrderRelation  Resolution (AssetBlock {lzero})

{- Selected Resolution Option:  -}
postulate -- Relation: Selected Resolution Option
  selectedResolutionOption : classOfMixedOrderRelation  Resolution ResolutionOutcome