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

Model Property Block: 
A Model Property Block is a Building Block used to provide classification and qualification of Model Building Blocks.For instance, Tags are used for classification. Condition Value are used for qualification or quantification.
 - ============================== -}

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

module 0eb97aff6855cd23 where -- ========== Model Property Block

open import Agda.Primitive
open import Relation.Binary.PropositionalEquality
open import Data.Product renaming (_×_ to _⊗_)
open import 23d5a9ea68513ced public -- Building Block

postulate
  ModelPropertyBlock : ∀ {u} → ClassOfMixedOrderEntity u

postulate --  ModelPropertyBlock is subTypeOf BuildingBlock
  st-0eb97b056855cd4d : ∀ {u} → (ModelPropertyBlock {u}) ⊏⋆ₑ (BuildingBlock {u})

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