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