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

Temporal Bounding: 
A Temporal Bounding is an Individual whose temporal extent is instantaneous, and whose spatial extent corresponds with the start or end of the Bounded Individuals for which it is the temporal border.Example:. The Eiffel tower completion (31st March 1889). William Shakespeare birth (1564). Confucius death (758).. Start of the first Plinian phase of the Mount Vesuvius eruption (18h, Aug. 24 A.D. 79). Oakland hospital opening in 1994.
 - ============================== -}

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

module 267b6a126675a0b9 where -- ========== Temporal Bounding

open import Agda.Primitive
open import Relation.Binary.PropositionalEquality
open import Data.Product renaming (_×_ to _⊗_)
open import 4df9512266826e23 public -- Individual
open import 23d5eaba68515533 public -- Ordering Connection
open import 9429979a66823f90 public -- Temporal Bounding Type

TemporalBounding : TemporalBoundingType
TemporalBounding = Individual

postulate --  TemporalBounding is subTypeOf Individual
  st-80328c0466790c22 : TemporalBounding ⊏⋆ₑ Individual

postulate --  TemporalBounding is subTypeOf OrderingConnection
  st-715877f6672c4212 : TemporalBounding ⊏ₐₑ OrderingConnection {lzero}

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