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

Governance Property: 
A Governance Property is a Property used to measure Asset Blocks during governance activities.

Documentation : https://framework.sysfeat.com/pages/66628bbe68dd5bef.htm

 - ============================== -}

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

module SysFEAT.SOF.66628bbe68dd5bef where -- ========== Governance Property

open import Agda.Primitive
open import SysFEAT.UpperOntology.746ac18368905aa2 public -- Property
open import SysFEAT.SOF.6662916b68dd5f84 public -- Governance Instrument
open import SysFEAT.SOF.83f8933a67407206 public -- Governance Property Type

GovernanceProperty : PropertyType
GovernanceProperty = Property


--  GovernanceProperty is subTypeOf Property
st-66628bbe68dd5bef-746ac18368905aa2 : GovernanceProperty ⊏ₑ Property
st-66628bbe68dd5bef-746ac18368905aa2 = polySubTypeOf-identity

--  GovernanceProperty withAspect GovernanceInstrument
st-66628bbe68dd5bef-6662916b68dd5f84 : GovernanceProperty ⊏ₐₑ (GovernanceInstrument (lsuc(lzero)))
st-66628bbe68dd5bef-6662916b68dd5f84 = polySubTypeOf-identity


-- == Relations =======================

-- -------------------------------------------------------------------------------------------- 
{- Governance Property Type: -}
governancePropertyType :  Linkage GovernanceProperty GovernancePropertyType
governancePropertyType = make_instanceOf "Governance Property Type" "Governance Property Type"

postulate -- governancePropertyType is subTypeOf propertyClassification
  st-666293d768dd6238-1976247d68925c3e  : governancePropertyType  ⊏⋆ᵣ  propertyClassification