104_a_factbook_2_2010
US statutory law is legislation enacted by the US Congress and is codified in the United States Code.
arc(r_0104_0001__US_r_0104_0003__law, r_0104_0002__statutory, attrib5).
arc(r_0104_0004__is, r_0104_0001__US_r_0104_0003__law, arg0).
arc(r_0104_0004__is, r_0104_0005__legislation, prd).
arc(r_0104_0006__enacted, r_0104_0005__legislation, arg1).
arc(r_0104_0006__enacted, r_0104_0008__the_r_0104_0009__US_r_0104_0010__Congress, arg0).
arc(r_0104_0011__and, r_0104_0004__is, conj1).
arc(r_0104_0011__and, r_0104_0012__is, conj2).
arc(r_0104_0012__is, r_0104_0013__codified, scope).
arc(r_0104_0013__codified, r_0104_0001__US_r_0104_0003__law, arg1).
arc(r_0104_0013__codified, r_0104_0015__the_r_0104_0016__United_r_0104_0017__States_r_0104_0018__Code, r_0104_0014__in_nim44).
arc(r_0104_0013__codified, z_000_104_a_factbook_2_2010_37, arg0).
fof(formula,axiom,
? [R_104_6_ENACTED,R_104_8_THE_US_CONGRESS,R_104_11_AND,R_104_4_IS,R_104_5_LEGISLATION,R_104_12_IS_CODIFIED,Z_104_A_FACTBOOK_2_2010_37,R_104_1_US_LAW,R_104_2_STATUTORY,R_104_15_THE_UNITED_STATES_CODE] :
( the_US_Congress(R_104_8_THE_US_CONGRESS)
& legislation(R_104_5_LEGISLATION)
& statutory(R_104_2_STATUTORY)
& the_United_States_Code(R_104_15_THE_UNITED_STATES_CODE)
& enacted(R_104_6_ENACTED,R_104_8_THE_US_CONGRESS,R_104_5_LEGISLATION)
& and(R_104_11_AND)
& conj1(R_104_11_AND,R_104_4_IS)
& is(R_104_4_IS,R_104_1_US_LAW,R_104_5_LEGISLATION)
& uS_law(R_104_1_US_LAW)
& attrib5(R_104_1_US_LAW,R_104_2_STATUTORY)
& conj2(R_104_11_AND,R_104_12_IS_CODIFIED)
& is_codified(R_104_12_IS_CODIFIED,Z_104_A_FACTBOOK_2_2010_37,R_104_1_US_LAW)
& in_nim44(R_104_12_IS_CODIFIED,R_104_15_THE_UNITED_STATES_CODE) ) ).
( (IP-MAT (NP-SBJ;{STATUTORY_LAW} (NPR US)
(ADJP (ADJ statutory;{statutory}))
(N law;{law}))
(ILYR (ILYR (BEP;_Ln_ is;{be})
(NP-PRD (N legislation;{legislation})
(IP-PPL (VVN;_Tn_ enacted;{enact})
(PP-LGS (P-ROLE;_lgs_ by;{by})
(NP (D the;{the})
(NPR US)
(NPR Congress;{Congress}))))))
(CONJP (CONJ and;{and})
(ILYR (BEP;_cat_VePASS_ is;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn_ codified;{codify})
(PP-NIM (P-ROLE in;{in})
(NP (D the;{the})
(NPR United;{United})
(NPR States;{States})
(NPR Code;{Code})))))))
(PUNC .))
(ID 104_a_factbook_2_2010))