107_a_factbook_2_2010
Case law, also referred to as common law, covers areas where constitutional or statutory law is lacking.

%3 r_0107_0005__referred referred r_0107_0001__Case_r_0107_0002__law Case law r_0107_0005__referred->r_0107_0001__Case_r_0107_0002__law [arg1] r_0107_0004__also also r_0107_0005__referred->r_0107_0004__also [nim] r_0107_0009__law law r_0107_0005__referred->r_0107_0009__law [prd] z_000_107_a_factbook_2_2010_10 r_0107_0005__referred->z_000_107_a_factbook_2_2010_10 [arg0] r_0107_0008__common common r_0107_0009__law->r_0107_0008__common [attrib] r_0107_0011__covers covers r_0107_0011__covers->r_0107_0001__Case_r_0107_0002__law [arg0] r_0107_0012__areas areas r_0107_0011__covers->r_0107_0012__areas [arg1] r_0107_0015__or or r_0107_0014__constitutional constitutional r_0107_0015__or->r_0107_0014__constitutional [conj1] r_0107_0016__statutory statutory r_0107_0015__or->r_0107_0016__statutory [conj2] r_0107_0017__law law r_0107_0017__law->r_0107_0015__or [attrib] r_0107_0018__is is r_0107_0018__is->r_0107_0012__areas [nim] r_0107_0019__lacking lacking r_0107_0018__is->r_0107_0019__lacking [scope] r_0107_0019__lacking->r_0107_0017__law [arg0]
arc(r_0107_0005__referred, r_0107_0001__Case_r_0107_0002__law, arg1).
arc(r_0107_0005__referred, r_0107_0004__also, nim12).
arc(r_0107_0005__referred, r_0107_0009__law, prd).
arc(r_0107_0005__referred, z_000_107_a_factbook_2_2010_10, arg0).
arc(r_0107_0009__law, r_0107_0008__common, attrib24).
arc(r_0107_0011__covers, r_0107_0001__Case_r_0107_0002__law, arg0).
arc(r_0107_0011__covers, r_0107_0012__areas, arg1).
arc(r_0107_0015__or, r_0107_0014__constitutional, conj1).
arc(r_0107_0015__or, r_0107_0016__statutory, conj2).
arc(r_0107_0017__law, r_0107_0015__or, attrib41).
arc(r_0107_0018__is, r_0107_0012__areas, nim37).
arc(r_0107_0018__is, r_0107_0019__lacking, scope).
arc(r_0107_0019__lacking, r_0107_0017__law, arg0).



%3 r_0107_0018__is_r_0107_0019__lacking is lacking r_0107_0017__law law r_0107_0018__is_r_0107_0019__lacking->r_0107_0017__law [arg0] r_0107_0012__areas areas r_0107_0018__is_r_0107_0019__lacking->r_0107_0012__areas [nim] r_0107_0015__or or r_0107_0017__law->r_0107_0015__or [attrib] r_0107_0016__statutory statutory r_0107_0015__or->r_0107_0016__statutory [conj2] r_0107_0014__constitutional constitutional r_0107_0015__or->r_0107_0014__constitutional [conj1] r_0107_0011__covers covers r_0107_0011__covers->r_0107_0012__areas [arg1] r_0107_0001__Case_r_0107_0002__law Case law r_0107_0011__covers->r_0107_0001__Case_r_0107_0002__law [arg0] r_0107_0009__law law r_0107_0008__common common r_0107_0009__law->r_0107_0008__common [attrib] r_0107_0005__referred referred r_0107_0005__referred->r_0107_0001__Case_r_0107_0002__law [arg1] r_0107_0005__referred->r_0107_0009__law [prd] z_000_107_a_factbook_2_2010_10 r_0107_0005__referred->z_000_107_a_factbook_2_2010_10 [arg0] r_0107_0004__also also r_0107_0005__referred->r_0107_0004__also [nim]
fof(formula,axiom,
    ? [R_107_5_REFERRED,Z_107_A_FACTBOOK_2_2010_10,R_107_4_ALSO,R_107_9_LAW,R_107_8_COMMON,R_107_11_COVERS,R_107_1_CASE_LAW,R_107_18_IS_LACKING,R_107_17_LAW,R_107_15_OR,R_107_14_CONSTITUTIONAL,R_107_16_STATUTORY,R_107_12_AREAS] :
      ( also(R_107_4_ALSO)
      & common(R_107_8_COMMON)
      & case_law(R_107_1_CASE_LAW)
      & constitutional(R_107_14_CONSTITUTIONAL)
      & statutory(R_107_16_STATUTORY)
      & areas(R_107_12_AREAS)
      & referred(R_107_5_REFERRED,Z_107_A_FACTBOOK_2_2010_10,R_107_1_CASE_LAW,R_107_9_LAW)
      & law(R_107_9_LAW)
      & attrib24(R_107_9_LAW,R_107_8_COMMON)
      & nim12(R_107_5_REFERRED,R_107_4_ALSO)
      & covers(R_107_11_COVERS,R_107_1_CASE_LAW,R_107_12_AREAS)
      & is_lacking(R_107_18_IS_LACKING,R_107_17_LAW)
      & law(R_107_17_LAW)
      & attrib41(R_107_17_LAW,R_107_15_OR)
      & or(R_107_15_OR)
      & conj1(R_107_15_OR,R_107_14_CONSTITUTIONAL)
      & conj2(R_107_15_OR,R_107_16_STATUTORY)
      & nim37(R_107_18_IS_LACKING,R_107_12_AREAS) ) ).



n107_a_factbook_2_2010 n107_a_factbook_2_2010__1_1_1_1 Case n107_a_factbook_2_2010__1_1_2_1 law n107_a_factbook_2_2010__1_1_3_1 , n107_a_factbook_2_2010__1_1_4_1_1 * n107_a_factbook_2_2010__1_1_4_2_1_1 also n107_a_factbook_2_2010__1_1_4_3_1 referred n107_a_factbook_2_2010__1_1_4_4_1_1 to n107_a_factbook_2_2010__1_1_4_5_1_1 as n107_a_factbook_2_2010__1_1_4_5_2_1_1_1 common n107_a_factbook_2_2010__1_1_4_5_2_2_1 law n107_a_factbook_2_2010__1_2_1 , n107_a_factbook_2_2010__1_3_1 covers n107_a_factbook_2_2010__1_4_1_1 areas n107_a_factbook_2_2010__1_4_2_1_1_1 where n107_a_factbook_2_2010__1_4_2_2_1_1_1_1_1 constitutional n107_a_factbook_2_2010__1_4_2_2_1_1_2_1_1 or n107_a_factbook_2_2010__1_4_2_2_1_1_2_2_1_1 statutory n107_a_factbook_2_2010__1_4_2_2_2_1 law n107_a_factbook_2_2010__1_4_2_3_1 is n107_a_factbook_2_2010__1_4_2_4_1_1 lacking n107_a_factbook_2_2010__1_5_1 . n107_a_factbook_2_2010__1 IP-MAT n107_a_factbook_2_2010__1_1 NP-SBJ n107_a_factbook_2_2010__1->n107_a_factbook_2_2010__1_1 n107_a_factbook_2_2010__1_2 PUNC n107_a_factbook_2_2010__1->n107_a_factbook_2_2010__1_2 n107_a_factbook_2_2010__1_3 VBP;__ n107_a_factbook_2_2010__1->n107_a_factbook_2_2010__1_3 n107_a_factbook_2_2010__1_4 NP-OB1 n107_a_factbook_2_2010__1->n107_a_factbook_2_2010__1_4 n107_a_factbook_2_2010__1_5 PUNC n107_a_factbook_2_2010__1->n107_a_factbook_2_2010__1_5 n107_a_factbook_2_2010__1_1_1 N n107_a_factbook_2_2010__1_1->n107_a_factbook_2_2010__1_1_1 n107_a_factbook_2_2010__1_1_2 N n107_a_factbook_2_2010__1_1->n107_a_factbook_2_2010__1_1_2 n107_a_factbook_2_2010__1_1_3 PUNC n107_a_factbook_2_2010__1_1->n107_a_factbook_2_2010__1_1_3 n107_a_factbook_2_2010__1_1_4 IP-PPL n107_a_factbook_2_2010__1_1->n107_a_factbook_2_2010__1_1_4 n107_a_factbook_2_2010__1_1_1->n107_a_factbook_2_2010__1_1_1_1 n107_a_factbook_2_2010__1_1_2->n107_a_factbook_2_2010__1_1_2_1 n107_a_factbook_2_2010__1_1_3->n107_a_factbook_2_2010__1_1_3_1 n107_a_factbook_2_2010__1_1_4_1 NP-LGS n107_a_factbook_2_2010__1_1_4->n107_a_factbook_2_2010__1_1_4_1 n107_a_factbook_2_2010__1_1_4_2 ADVP-NIM n107_a_factbook_2_2010__1_1_4->n107_a_factbook_2_2010__1_1_4_2 n107_a_factbook_2_2010__1_1_4_3 VVN;_phr_Vpr.n/a_ n107_a_factbook_2_2010__1_1_4->n107_a_factbook_2_2010__1_1_4_3 n107_a_factbook_2_2010__1_1_4_4 PP-CLR n107_a_factbook_2_2010__1_1_4->n107_a_factbook_2_2010__1_1_4_4 n107_a_factbook_2_2010__1_1_4_5 PP-PRD n107_a_factbook_2_2010__1_1_4->n107_a_factbook_2_2010__1_1_4_5 n107_a_factbook_2_2010__1_1_4_1->n107_a_factbook_2_2010__1_1_4_1_1 n107_a_factbook_2_2010__1_1_4_2_1 ADV n107_a_factbook_2_2010__1_1_4_2->n107_a_factbook_2_2010__1_1_4_2_1 n107_a_factbook_2_2010__1_1_4_2_1->n107_a_factbook_2_2010__1_1_4_2_1_1 n107_a_factbook_2_2010__1_1_4_3->n107_a_factbook_2_2010__1_1_4_3_1 n107_a_factbook_2_2010__1_1_4_4_1 P-ROLE n107_a_factbook_2_2010__1_1_4_4->n107_a_factbook_2_2010__1_1_4_4_1 n107_a_factbook_2_2010__1_1_4_4_1->n107_a_factbook_2_2010__1_1_4_4_1_1 n107_a_factbook_2_2010__1_1_4_5_1 P-ROLE n107_a_factbook_2_2010__1_1_4_5->n107_a_factbook_2_2010__1_1_4_5_1 n107_a_factbook_2_2010__1_1_4_5_2 NP n107_a_factbook_2_2010__1_1_4_5->n107_a_factbook_2_2010__1_1_4_5_2 n107_a_factbook_2_2010__1_1_4_5_1->n107_a_factbook_2_2010__1_1_4_5_1_1 n107_a_factbook_2_2010__1_1_4_5_2_1 ADJP n107_a_factbook_2_2010__1_1_4_5_2->n107_a_factbook_2_2010__1_1_4_5_2_1 n107_a_factbook_2_2010__1_1_4_5_2_2 N n107_a_factbook_2_2010__1_1_4_5_2->n107_a_factbook_2_2010__1_1_4_5_2_2 n107_a_factbook_2_2010__1_1_4_5_2_1_1 ADJ n107_a_factbook_2_2010__1_1_4_5_2_1->n107_a_factbook_2_2010__1_1_4_5_2_1_1 n107_a_factbook_2_2010__1_1_4_5_2_1_1->n107_a_factbook_2_2010__1_1_4_5_2_1_1_1 n107_a_factbook_2_2010__1_1_4_5_2_2->n107_a_factbook_2_2010__1_1_4_5_2_2_1 n107_a_factbook_2_2010__1_2->n107_a_factbook_2_2010__1_2_1 n107_a_factbook_2_2010__1_3->n107_a_factbook_2_2010__1_3_1 n107_a_factbook_2_2010__1_4_1 NS n107_a_factbook_2_2010__1_4->n107_a_factbook_2_2010__1_4_1 n107_a_factbook_2_2010__1_4_2 IP-REL n107_a_factbook_2_2010__1_4->n107_a_factbook_2_2010__1_4_2 n107_a_factbook_2_2010__1_4_1->n107_a_factbook_2_2010__1_4_1_1 n107_a_factbook_2_2010__1_4_2_1 ADVP-NIM n107_a_factbook_2_2010__1_4_2->n107_a_factbook_2_2010__1_4_2_1 n107_a_factbook_2_2010__1_4_2_2 NP-SBJ n107_a_factbook_2_2010__1_4_2->n107_a_factbook_2_2010__1_4_2_2 n107_a_factbook_2_2010__1_4_2_3 BEP;_cat_Vg_ n107_a_factbook_2_2010__1_4_2->n107_a_factbook_2_2010__1_4_2_3 n107_a_factbook_2_2010__1_4_2_4 IP-PPL-CAT n107_a_factbook_2_2010__1_4_2->n107_a_factbook_2_2010__1_4_2_4 n107_a_factbook_2_2010__1_4_2_1_1 RADV n107_a_factbook_2_2010__1_4_2_1->n107_a_factbook_2_2010__1_4_2_1_1 n107_a_factbook_2_2010__1_4_2_1_1->n107_a_factbook_2_2010__1_4_2_1_1_1 n107_a_factbook_2_2010__1_4_2_2_1 ADJP n107_a_factbook_2_2010__1_4_2_2->n107_a_factbook_2_2010__1_4_2_2_1 n107_a_factbook_2_2010__1_4_2_2_2 N n107_a_factbook_2_2010__1_4_2_2->n107_a_factbook_2_2010__1_4_2_2_2 n107_a_factbook_2_2010__1_4_2_2_1_1 AJLYR n107_a_factbook_2_2010__1_4_2_2_1->n107_a_factbook_2_2010__1_4_2_2_1_1 n107_a_factbook_2_2010__1_4_2_2_1_1_1 AJLYR n107_a_factbook_2_2010__1_4_2_2_1_1->n107_a_factbook_2_2010__1_4_2_2_1_1_1 n107_a_factbook_2_2010__1_4_2_2_1_1_2 CONJP n107_a_factbook_2_2010__1_4_2_2_1_1->n107_a_factbook_2_2010__1_4_2_2_1_1_2 n107_a_factbook_2_2010__1_4_2_2_1_1_1_1 ADJ n107_a_factbook_2_2010__1_4_2_2_1_1_1->n107_a_factbook_2_2010__1_4_2_2_1_1_1_1 n107_a_factbook_2_2010__1_4_2_2_1_1_1_1->n107_a_factbook_2_2010__1_4_2_2_1_1_1_1_1 n107_a_factbook_2_2010__1_4_2_2_1_1_2_1 CONJ n107_a_factbook_2_2010__1_4_2_2_1_1_2->n107_a_factbook_2_2010__1_4_2_2_1_1_2_1 n107_a_factbook_2_2010__1_4_2_2_1_1_2_2 AJLYR n107_a_factbook_2_2010__1_4_2_2_1_1_2->n107_a_factbook_2_2010__1_4_2_2_1_1_2_2 n107_a_factbook_2_2010__1_4_2_2_1_1_2_1->n107_a_factbook_2_2010__1_4_2_2_1_1_2_1_1 n107_a_factbook_2_2010__1_4_2_2_1_1_2_2_1 ADJ n107_a_factbook_2_2010__1_4_2_2_1_1_2_2->n107_a_factbook_2_2010__1_4_2_2_1_1_2_2_1 n107_a_factbook_2_2010__1_4_2_2_1_1_2_2_1->n107_a_factbook_2_2010__1_4_2_2_1_1_2_2_1_1 n107_a_factbook_2_2010__1_4_2_2_2->n107_a_factbook_2_2010__1_4_2_2_2_1 n107_a_factbook_2_2010__1_4_2_3->n107_a_factbook_2_2010__1_4_2_3_1 n107_a_factbook_2_2010__1_4_2_4_1 VAG;__ n107_a_factbook_2_2010__1_4_2_4->n107_a_factbook_2_2010__1_4_2_4_1 n107_a_factbook_2_2010__1_4_2_4_1->n107_a_factbook_2_2010__1_4_2_4_1_1 n107_a_factbook_2_2010__1_5->n107_a_factbook_2_2010__1_5_1
( (IP-MAT (NP-SBJ;{CASE_LAW} (N Case;{case})
                             (N law;{law})
                             (PUNC ,)
                             (IP-PPL (NP-LGS *)
                                     (ADVP-NIM (ADV also;{also}))
                                     (VVN;_phr_Vpr.n/a_ referred;{refer[to,as]})
                                     (PP-CLR (P-ROLE to;{to}))
                                     (PP-PRD (P-ROLE as;{as})
                                             (NP (ADJP (ADJ common;{common}))
                                                 (N law;{law})))))
          (PUNC ,)
          (VBP;__ covers;{cover})
          (NP-OB1 (NS areas;{area})
                  (IP-REL (ADVP-NIM (RADV where;{where}))
                          (NP-SBJ (ADJP (AJLYR (AJLYR (ADJ constitutional;{constitutional}))
                                               (CONJP (CONJ or;{or})
                                                      (AJLYR (ADJ statutory;{statutory})))))
                                  (N law;{law}))
                          (BEP;_cat_Vg_ is;{be})
                          (IP-PPL-CAT (VAG;__ lacking;{lack}))))
          (PUNC .))
  (ID 107_a_factbook_2_2010))