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

Conceptual Event: 
An Conceptual Event is a Temporal Bounding Type that establishes a temporal connection between Conceptual Behaviors.An Conceptual Event connects a Previous Behavioral Event, to a Next Behavioral Event.
 - ============================== -}

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

module 21918fed6786592c where -- ========== Conceptual Event

open import Agda.Primitive
open import Relation.Binary.PropositionalEquality
open import Data.Product renaming (_×_ to _⊗_)
open import 24ae31d75ed1c747 public -- Behavioral Event
open import cb94ec53681855c2 public -- Conceptual Functional Asset

postulate
  ConceptualEvent : ClassOfClassOfIndividual

postulate --  ConceptualEvent is subTypeOf BehavioralEvent
  st-2191900b67865989 : ConceptualEvent ⊏⋆ₑ BehavioralEvent

postulate --  ConceptualEvent is subTypeOf ConceptualFunctionalAsset
  st-cb94f32e6818623a : ConceptualEvent ⊏⋆ₑ ConceptualFunctionalAsset

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