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

Logical Data Asset: 
A Logical Data Asset is a Data Asset used for the description of data consumed and produced by Logical Software Systems.Logical Data Assets are defined in Logical Data Dictionary(ies).
 - ============================== -}

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

module fd1bf2a45fbc64fb where -- ========== Logical Data Asset

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

postulate
  LogicalDataAsset : ClassOfClassOfBoundedIndividual

postulate --  LogicalDataAsset is subTypeOf DataBlock
  st-78e262d56312fe01 : LogicalDataAsset ⊏ₐₑ DataBlock {lsuc(lzero)}

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