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

Governance Event: 
A Governance Event is any event that has an impact on the management and governance of an Enduring Initiative.This includes the result of Assessments, Decisions, recorded Incidents, Drivers, etc.
 - ============================== -}

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

module 1737b50b5fe27cba where -- ========== Governance Event

open import Agda.Primitive
open import Relation.Binary.PropositionalEquality
open import Data.Product renaming (_×_ to _⊗_)
open import 6662916b68dd5f84 public -- Governance Instrument
open import 28f07b2354be0d69 public -- Bounded Individual
open import 0eb95f356855bf94 public -- Asset Block

postulate
  GovernanceEvent : ClassOfBoundedIndividual

postulate --  GovernanceEvent is subTypeOf GovernanceInstrument
  st-a66fa9e065a9856b : GovernanceEvent ⊏ₐₑ GovernanceInstrument {lzero}

postulate --  GovernanceEvent is subTypeOf BoundedIndividual
  st-366c3cd3675c1299 : GovernanceEvent ⊏⋆ₑ BoundedIndividual

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

{- Event Subject:  -}
postulate -- Relation: Event Subject
  eventSubject : classOfMixedOrderRelation  GovernanceEvent (AssetBlock {lzero})