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

Assessment Value: 
An Assessment Value is an Appraisal Option associated with an Assessment Type, representing a potential value that can be chosen during an assessment process.
 - ============================== -}

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

module 6662956168dd650c where -- ========== Assessment Value

open import Agda.Primitive
open import Relation.Binary.PropositionalEquality
open import Data.Product renaming (_×_ to _⊗_)
open import 66628b5668dd5a25 public -- Appraisal Option
open import 366c4033675c1636 public -- Assessment Type

postulate
  AssessmentValue : PropertyType

postulate --  AssessmentValue is subTypeOf AppraisalOption
  st-83bba1556192433e : AssessmentValue ⊏⋆ₑ AppraisalOption

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

{- Assessment Type:  -}
postulate -- Relation: Assessment Type
  assessmentType : classOfMixedOrderRelation  AssessmentValue AssessmentType