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_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_r_0107_0019__lacking is lacking r_0107_0018__is_r_0107_0019__lacking->r_0107_0012__areas [nim] r_0107_0018__is_r_0107_0019__lacking->r_0107_0017__law [arg0]
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_4 Case n107_a_factbook_2_2010_6 law n107_a_factbook_2_2010_8 , n107_a_factbook_2_2010_11 * n107_a_factbook_2_2010_14 also n107_a_factbook_2_2010_16 referred n107_a_factbook_2_2010_19 to n107_a_factbook_2_2010_22 as n107_a_factbook_2_2010_26 common n107_a_factbook_2_2010_28 law n107_a_factbook_2_2010_30 , n107_a_factbook_2_2010_32 covers n107_a_factbook_2_2010_35 areas n107_a_factbook_2_2010_39 where n107_a_factbook_2_2010_45 constitutional n107_a_factbook_2_2010_48 or n107_a_factbook_2_2010_51 statutory n107_a_factbook_2_2010_53 law n107_a_factbook_2_2010_55 is n107_a_factbook_2_2010_58 lacking n107_a_factbook_2_2010_60 . n107_a_factbook_2_2010_1 IP-MAT n107_a_factbook_2_2010_2 NP-SBJ n107_a_factbook_2_2010_1->n107_a_factbook_2_2010_2 n107_a_factbook_2_2010_29 PUNC n107_a_factbook_2_2010_1->n107_a_factbook_2_2010_29 n107_a_factbook_2_2010_31 VBP;__ n107_a_factbook_2_2010_1->n107_a_factbook_2_2010_31 n107_a_factbook_2_2010_33 NP-OB1 n107_a_factbook_2_2010_1->n107_a_factbook_2_2010_33 n107_a_factbook_2_2010_59 PUNC n107_a_factbook_2_2010_1->n107_a_factbook_2_2010_59 n107_a_factbook_2_2010_3 N n107_a_factbook_2_2010_2->n107_a_factbook_2_2010_3 n107_a_factbook_2_2010_5 N n107_a_factbook_2_2010_2->n107_a_factbook_2_2010_5 n107_a_factbook_2_2010_7 PUNC n107_a_factbook_2_2010_2->n107_a_factbook_2_2010_7 n107_a_factbook_2_2010_9 IP-PPL n107_a_factbook_2_2010_2->n107_a_factbook_2_2010_9 n107_a_factbook_2_2010_3->n107_a_factbook_2_2010_4 n107_a_factbook_2_2010_5->n107_a_factbook_2_2010_6 n107_a_factbook_2_2010_7->n107_a_factbook_2_2010_8 n107_a_factbook_2_2010_10 NP-LGS n107_a_factbook_2_2010_9->n107_a_factbook_2_2010_10 n107_a_factbook_2_2010_12 ADVP-NIM n107_a_factbook_2_2010_9->n107_a_factbook_2_2010_12 n107_a_factbook_2_2010_15 VVN;_phr_Vpr.n/a_ n107_a_factbook_2_2010_9->n107_a_factbook_2_2010_15 n107_a_factbook_2_2010_17 PP-CLR n107_a_factbook_2_2010_9->n107_a_factbook_2_2010_17 n107_a_factbook_2_2010_20 PP-PRD n107_a_factbook_2_2010_9->n107_a_factbook_2_2010_20 n107_a_factbook_2_2010_10->n107_a_factbook_2_2010_11 n107_a_factbook_2_2010_13 ADV n107_a_factbook_2_2010_12->n107_a_factbook_2_2010_13 n107_a_factbook_2_2010_13->n107_a_factbook_2_2010_14 n107_a_factbook_2_2010_15->n107_a_factbook_2_2010_16 n107_a_factbook_2_2010_18 P-ROLE n107_a_factbook_2_2010_17->n107_a_factbook_2_2010_18 n107_a_factbook_2_2010_18->n107_a_factbook_2_2010_19 n107_a_factbook_2_2010_21 P-ROLE n107_a_factbook_2_2010_20->n107_a_factbook_2_2010_21 n107_a_factbook_2_2010_23 NP n107_a_factbook_2_2010_20->n107_a_factbook_2_2010_23 n107_a_factbook_2_2010_21->n107_a_factbook_2_2010_22 n107_a_factbook_2_2010_24 ADJP n107_a_factbook_2_2010_23->n107_a_factbook_2_2010_24 n107_a_factbook_2_2010_27 N n107_a_factbook_2_2010_23->n107_a_factbook_2_2010_27 n107_a_factbook_2_2010_25 ADJ n107_a_factbook_2_2010_24->n107_a_factbook_2_2010_25 n107_a_factbook_2_2010_25->n107_a_factbook_2_2010_26 n107_a_factbook_2_2010_27->n107_a_factbook_2_2010_28 n107_a_factbook_2_2010_29->n107_a_factbook_2_2010_30 n107_a_factbook_2_2010_31->n107_a_factbook_2_2010_32 n107_a_factbook_2_2010_34 NS n107_a_factbook_2_2010_33->n107_a_factbook_2_2010_34 n107_a_factbook_2_2010_36 IP-REL n107_a_factbook_2_2010_33->n107_a_factbook_2_2010_36 n107_a_factbook_2_2010_34->n107_a_factbook_2_2010_35 n107_a_factbook_2_2010_37 ADVP-NIM n107_a_factbook_2_2010_36->n107_a_factbook_2_2010_37 n107_a_factbook_2_2010_40 NP-SBJ n107_a_factbook_2_2010_36->n107_a_factbook_2_2010_40 n107_a_factbook_2_2010_54 BEP;_cat_Vg_ n107_a_factbook_2_2010_36->n107_a_factbook_2_2010_54 n107_a_factbook_2_2010_56 IP-PPL-CAT n107_a_factbook_2_2010_36->n107_a_factbook_2_2010_56 n107_a_factbook_2_2010_38 RADV n107_a_factbook_2_2010_37->n107_a_factbook_2_2010_38 n107_a_factbook_2_2010_38->n107_a_factbook_2_2010_39 n107_a_factbook_2_2010_41 ADJP n107_a_factbook_2_2010_40->n107_a_factbook_2_2010_41 n107_a_factbook_2_2010_52 N n107_a_factbook_2_2010_40->n107_a_factbook_2_2010_52 n107_a_factbook_2_2010_42 AJLYR n107_a_factbook_2_2010_41->n107_a_factbook_2_2010_42 n107_a_factbook_2_2010_43 AJLYR n107_a_factbook_2_2010_42->n107_a_factbook_2_2010_43 n107_a_factbook_2_2010_46 CONJP n107_a_factbook_2_2010_42->n107_a_factbook_2_2010_46 n107_a_factbook_2_2010_44 ADJ n107_a_factbook_2_2010_43->n107_a_factbook_2_2010_44 n107_a_factbook_2_2010_44->n107_a_factbook_2_2010_45 n107_a_factbook_2_2010_47 CONJ n107_a_factbook_2_2010_46->n107_a_factbook_2_2010_47 n107_a_factbook_2_2010_49 AJLYR n107_a_factbook_2_2010_46->n107_a_factbook_2_2010_49 n107_a_factbook_2_2010_47->n107_a_factbook_2_2010_48 n107_a_factbook_2_2010_50 ADJ n107_a_factbook_2_2010_49->n107_a_factbook_2_2010_50 n107_a_factbook_2_2010_50->n107_a_factbook_2_2010_51 n107_a_factbook_2_2010_52->n107_a_factbook_2_2010_53 n107_a_factbook_2_2010_54->n107_a_factbook_2_2010_55 n107_a_factbook_2_2010_57 VAG;__ n107_a_factbook_2_2010_56->n107_a_factbook_2_2010_57 n107_a_factbook_2_2010_57->n107_a_factbook_2_2010_58 n107_a_factbook_2_2010_59->n107_a_factbook_2_2010_60
( (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))