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

Individual Human Agent: 
A Individual Human Agent is a kind of Individual Resource Agent that represents any entity with intentionality, decision-making capacity, and the ability to act-whether as an individual person or a collective social unit.
 - ============================== -}

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

module 3b1b943568cd8922 where -- ========== Individual Human Agent

open import Agda.Primitive
open import Relation.Binary.PropositionalEquality
open import Data.Product renaming (_×_ to _⊗_)
open import fe1c231267880201 public -- Individual Resource Agent

postulate
  IndividualHumanAgent : ClassOfBoundedIndividual

postulate --  IndividualHumanAgent is subTypeOf IndividualResourceAgent
  st-3b1bb39068cd96cc : IndividualHumanAgent ⊏⋆ₑ IndividualResourceAgent

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