101_a_factbook_2_2010
US law draws its authority from four sources: constitutional law, statutory law, administrative regulations, and case law.
arc(r_0101_0003__draws, r_0101_0001__US_r_0101_0002__law, arg0).
arc(r_0101_0003__draws, r_0101_0005__authority, arg1).
arc(r_0101_0003__draws, r_0101_0007__four_r_0101_0008__sources, r_0101_0006__from_nim18).
arc(r_0101_0005__authority, r_0101_0001__US_r_0101_0002__law, gen).
arc(r_0101_0011__law, r_0101_0010__constitutional, attrib29).
arc(r_0101_0014__law, r_0101_0013__statutory, attrib38).
arc(r_0101_0017__regulations, r_0101_0016__administrative, attrib47).
arc(r_0101_0019__and, r_0101_0011__law, conj1).
arc(r_0101_0019__and, r_0101_0014__law, conj2).
arc(r_0101_0019__and, r_0101_0017__regulations, conj3).
arc(r_0101_0019__and, r_0101_0020__case_r_0101_0021__law, conj4).
arc(z_000_101_a_factbook_2_2010_25, r_0101_0007__four_r_0101_0008__sources, arg0).
arc(z_000_101_a_factbook_2_2010_25, r_0101_0019__and, prd).
fof(formula,axiom,
? [R_0101_0001__US_R_0101_0002__LAW,R_0101_0005__AUTHORITY,R_0101_0007__FOUR_R_0101_0008__SOURCES,R_0101_0003__DRAWS,R_0101_0010__CONSTITUTIONAL,R_0101_0011__LAW,R_0101_0013__STATUTORY,R_0101_0014__LAW,R_0101_0016__ADMINISTRATIVE,R_0101_0017__REGULATIONS,R_0101_0020__CASE_R_0101_0021__LAW,R_0101_0019__AND,Z_000_101_A_FACTBOOK_2_2010_25] :
( r_0101_0001__US_r_0101_0002__law(R_0101_0001__US_R_0101_0002__LAW)
& r_0101_0007__four_r_0101_0008__sources(R_0101_0007__FOUR_R_0101_0008__SOURCES)
& r_0101_0010__constitutional(R_0101_0010__CONSTITUTIONAL)
& r_0101_0013__statutory(R_0101_0013__STATUTORY)
& r_0101_0016__administrative(R_0101_0016__ADMINISTRATIVE)
& r_0101_0020__case_r_0101_0021__law(R_0101_0020__CASE_R_0101_0021__LAW)
& z_000_101_a_factbook_2_2010_25(Z_000_101_A_FACTBOOK_2_2010_25)
& has_prd(Z_000_101_A_FACTBOOK_2_2010_25,R_0101_0019__AND)
& r_0101_0019__and(R_0101_0019__AND)
& has_conj4(R_0101_0019__AND,R_0101_0020__CASE_R_0101_0021__LAW)
& has_conj3(R_0101_0019__AND,R_0101_0017__REGULATIONS)
& r_0101_0017__regulations(R_0101_0017__REGULATIONS)
& has_attrib47(R_0101_0017__REGULATIONS,R_0101_0016__ADMINISTRATIVE)
& has_conj2(R_0101_0019__AND,R_0101_0014__LAW)
& r_0101_0014__law(R_0101_0014__LAW)
& has_attrib38(R_0101_0014__LAW,R_0101_0013__STATUTORY)
& has_conj1(R_0101_0019__AND,R_0101_0011__LAW)
& r_0101_0011__law(R_0101_0011__LAW)
& has_attrib29(R_0101_0011__LAW,R_0101_0010__CONSTITUTIONAL)
& has_arg0(Z_000_101_A_FACTBOOK_2_2010_25,R_0101_0007__FOUR_R_0101_0008__SOURCES)
& r_0101_0003__draws(R_0101_0003__DRAWS)
& has_r_0101_0006__from_nim18(R_0101_0003__DRAWS,R_0101_0007__FOUR_R_0101_0008__SOURCES)
& has_arg1(R_0101_0003__DRAWS,R_0101_0005__AUTHORITY)
& r_0101_0005__authority(R_0101_0005__AUTHORITY)
& has_gen(R_0101_0005__AUTHORITY,R_0101_0001__US_R_0101_0002__LAW)
& has_arg0(R_0101_0003__DRAWS,R_0101_0001__US_R_0101_0002__LAW) ) ).
( (IP-MAT (NP-SBJ;{US_LAW} (NPR US)
(N law;{law}))
(VBP;__ draws;{draw})
(NP-OB1 (NP-GEN;{US_LAW} (PRO;_genm_ its;{its}))
(N authority;{authority}))
(PP-NIM (P-ROLE from;{from})
(NP (NUM four;{four})
(NS sources;{source})
(PUNC :)
(IP-PPL (NP-PRD (NLYR (NLYR;{CONSTITUTIONAL_LAW} (ADJP (ADJ constitutional;{constitutional}))
(N law;{law}))
(PUNC ,)
(CONJP (NLYR;{STATUTORY_LAW} (ADJP (ADJ statutory;{statutory}))
(N law;{law})))
(PUNC ,)
(CONJP (NLYR;{ADMINISTRATIVE_LAW} (ADJP (ADJ administrative;{administrative}))
(NS regulations;{regulation})))
(PUNC ,)
(CONJP (CONJ and;{and})
(NLYR;{CASE_LAW} (N case;{case})
(N law;{law}))))))))
(PUNC .))
(ID 101_a_factbook_2_2010))