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.

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

arc(r_0107_0005__referred_r_0107_0006__to,r_0107_0001__Case_r_0107_0002__law,inv_arg1).
arc(r_0107_0005__referred_r_0107_0006__to,r_0107_0004__also,nim).
arc(r_0107_0005__referred_r_0107_0006__to,r_0107_0009__law,r_0107_0007__as__prd).
arc(r_0107_0005__referred_r_0107_0006__to,z_0107_5005___star_,arg0).
arc(r_0107_0009__law,r_0107_0008__common,attrib).
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,attrib).
arc(r_0107_0018__is,r_0107_0012__areas,nim).
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_0004__ALSO,R_0107_0008__COMMON,R_0107_0009__LAW,Z_0107_5005___STAR_,R_0107_0005__REFERRED_R_0107_0006__TO,R_0107_0001__CASE_R_0107_0002__LAW,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_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_0107_5005___star_(Z_0107_5005___STAR_)
      & 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_attrib(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_nim(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_0001__Case_r_0107_0002__law(R_0107_0001__CASE_R_0107_0002__LAW)
      & has_inv_arg1(R_0107_0001__CASE_R_0107_0002__LAW,R_0107_0005__REFERRED_R_0107_0006__TO)
      & r_0107_0005__referred_r_0107_0006__to(R_0107_0005__REFERRED_R_0107_0006__TO)
      & has_arg0(R_0107_0005__REFERRED_R_0107_0006__TO,Z_0107_5005___STAR_)
      & has_r_0107_0007__as__prd(R_0107_0005__REFERRED_R_0107_0006__TO,R_0107_0009__LAW)
      & r_0107_0009__law(R_0107_0009__LAW)
      & has_attrib(R_0107_0009__LAW,R_0107_0008__COMMON)
      & has_nim(R_0107_0005__REFERRED_R_0107_0006__TO,R_0107_0004__ALSO) ) ).