deontic-kr-civil-0.2.0.0: Korean Civil Act (민법) with type-level stratified deontic logic

Index - A

aaaActIdDeontic.Civil.Types, Deontic.Civil
aaaAgentDeontic.Civil.Types, Deontic.Civil
aaaPrincipalDeontic.Civil.Types, Deontic.Civil
AcqPrescFacts 
1 (Type/Class)Deontic.Civil.Types, Deontic.Civil
2 (Data Constructor)Deontic.Civil.Types, Deontic.Civil
AcqPrescKDeontic.Civil.Types, Deontic.Civil
AcqPrescriptionAct 
1 (Type/Class)Deontic.Civil.Types, Deontic.Civil
2 (Data Constructor)Deontic.Civil.Types, Deontic.Civil
addGregorianYearsClipDeontic.Civil.Types, Deontic.Civil
AgencyWithdrawalAct 
1 (Type/Class)Deontic.Civil.Types, Deontic.Civil
2 (Data Constructor)Deontic.Civil.Types, Deontic.Civil
AgentIsLimitedCapacityDeontic.Civil.Types, Deontic.Civil
AgentLiabilityAct 
1 (Type/Class)Deontic.Civil.Types, Deontic.Civil
2 (Data Constructor)Deontic.Civil.Types, Deontic.Civil
alActIdDeontic.Civil.Types, Deontic.Civil
alAgentDeontic.Civil.Types, Deontic.Civil
alCounterpartyDeontic.Civil.Types, Deontic.Civil
apActIdDeontic.Civil.Types, Deontic.Civil
apActorDeontic.Civil.Types, Deontic.Civil
apfCurrentDateDeontic.Civil.Types, Deontic.Civil
apfGoodFaithDeontic.Civil.Types, Deontic.Civil
apfNoNegligenceDeontic.Civil.Types, Deontic.Civil
apfPeacefulDeontic.Civil.Types, Deontic.Civil
apfPublicDeontic.Civil.Types, Deontic.Civil
apfSelfPossessionDeontic.Civil.Types, Deontic.Civil
apfStartDateDeontic.Civil.Types, Deontic.Civil
ApparentAuthDeontic.Civil.Types, Deontic.Civil
AuthAgencyAct 
1 (Type/Class)Deontic.Civil.Types, Deontic.Civil
2 (Data Constructor)Deontic.Civil.Types, Deontic.Civil
AuthorityExpiredDeontic.Civil.Types, Deontic.Civil
awActIdDeontic.Civil.Types, Deontic.Civil
awCounterpartyDeontic.Civil.Types, Deontic.Civil
awPrincipalDeontic.Civil.Types, Deontic.Civil