TSPC 107_a_factbook_2

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

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).

fof(formula,axiom,
    ? [R_0107_0001__CASE_R_0107_0002__LAW,R_0107_0004__ALSO,R_0107_0008__COMMON,R_0107_0009__LAW,Z_000_107_A_FACTBOOK_2_2010_10,R_0107_0005__REFERRED,R_0107_0012__AREAS,R_0107_0011__COVERS,R_0107_0014__CONSTITUTIONAL,R_0107_0016__STATUTORY,R_0107_0015__OR,R_0107_0017__LAW,R_0107_0018__IS_R_0107_0019__LACKING] :
      ( r_0107_0001__Case_r_0107_0002__law(R_0107_0001__CASE_R_0107_0002__LAW)
      & r_0107_0004__also(R_0107_0004__ALSO)
      & r_0107_0008__common(R_0107_0008__COMMON)
      & r_0107_0012__areas(R_0107_0012__AREAS)
      & r_0107_0014__constitutional(R_0107_0014__CONSTITUTIONAL)
      & r_0107_0016__statutory(R_0107_0016__STATUTORY)
      & z_000_107_a_factbook_2_2010_10(Z_000_107_A_FACTBOOK_2_2010_10)
      & r_0107_0018__is_r_0107_0019__lacking(R_0107_0018__IS_R_0107_0019__LACKING)
      & has_arg0(R_0107_0018__IS_R_0107_0019__LACKING,R_0107_0017__LAW)
      & r_0107_0017__law(R_0107_0017__LAW)
      & has_attrib41(R_0107_0017__LAW,R_0107_0015__OR)
      & r_0107_0015__or(R_0107_0015__OR)
      & has_conj2(R_0107_0015__OR,R_0107_0016__STATUTORY)
      & has_conj1(R_0107_0015__OR,R_0107_0014__CONSTITUTIONAL)
      & has_nim37(R_0107_0018__IS_R_0107_0019__LACKING,R_0107_0012__AREAS)
      & r_0107_0011__covers(R_0107_0011__COVERS)
      & has_arg1(R_0107_0011__COVERS,R_0107_0012__AREAS)
      & has_arg0(R_0107_0011__COVERS,R_0107_0001__CASE_R_0107_0002__LAW)
      & r_0107_0005__referred(R_0107_0005__REFERRED)
      & has_arg0(R_0107_0005__REFERRED,Z_000_107_A_FACTBOOK_2_2010_10)
      & has_prd(R_0107_0005__REFERRED,R_0107_0009__LAW)
      & r_0107_0009__law(R_0107_0009__LAW)
      & has_attrib24(R_0107_0009__LAW,R_0107_0008__COMMON)
      & has_nim12(R_0107_0005__REFERRED,R_0107_0004__ALSO)
      & has_arg1(R_0107_0005__REFERRED,R_0107_0001__CASE_R_0107_0002__LAW) ) ).

( (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))