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

Vocabulary Block: 
A Vocabulary Block is a Dictionary Lexical Block used in the designation of Conceptual Elements.
 - ============================== -}

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

module 3f066af36858706e where -- ========== Vocabulary Block

open import Agda.Primitive
open import Relation.Binary.PropositionalEquality
open import Data.Product renaming (_×_ to _⊗_)
open import 9397d98f6877c4e5 public -- Dictionary Lexical Block

postulate
  VocabularyBlock : ∀ {u} → ClassOfMixedOrderEntity u

postulate --  VocabularyBlock is subTypeOf DictionaryLexicalBlock
  st-3f066b01685870bb : ∀ {u} → (VocabularyBlock {u}) ⊏⋆ₑ (DictionaryLexicalBlock {u})

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