Skip to main content

obligation_applies_in

qualia_core_db::modalities::deontic_compose

Function obligation_applies_in 

Source 
pub fn obligation_applies_in(
    norm_jurisdiction: u64,
    target_jurisdiction: u64,
    within: &[NQuin],
) -> bool
Expand description

Locative obligation subsumption: an obligation in force in norm_jurisdiction applies in target_jurisdiction iff the target is jur:within the norm’s jurisdiction (transitively). within holds jur:within Quins (subject within object); the check reuses the DL transitive-closure search. (RCC-8 region geometry is not encodable in a 48-byte NQuin — we use the jurisdiction hierarchy, per the plan §1.)