104_a_factbook_2_2010
US statutory law is legislation enacted by the US Congress and is codified in the United States Code.

%3 r_0104_0001__US_r_0104_0003__law US law r_0104_0002__statutory statutory r_0104_0001__US_r_0104_0003__law->r_0104_0002__statutory [attrib] r_0104_0004__is is r_0104_0004__is->r_0104_0001__US_r_0104_0003__law [arg0] r_0104_0005__legislation legislation r_0104_0004__is->r_0104_0005__legislation [prd] r_0104_0006__enacted enacted r_0104_0006__enacted->r_0104_0005__legislation [arg1] r_0104_0008__the_r_0104_0009__US_r_0104_0010__Congress the US Congress r_0104_0006__enacted->r_0104_0008__the_r_0104_0009__US_r_0104_0010__Congress [arg0] r_0104_0011__and and r_0104_0011__and->r_0104_0004__is [conj1] r_0104_0012__is is r_0104_0011__and->r_0104_0012__is [conj2] r_0104_0013__codified codified r_0104_0012__is->r_0104_0013__codified [scope] r_0104_0013__codified->r_0104_0001__US_r_0104_0003__law [arg1] r_0104_0015__the_r_0104_0016__United_r_0104_0017__States_r_0104_0018__Code the United States Code r_0104_0013__codified->r_0104_0015__the_r_0104_0016__United_r_0104_0017__States_r_0104_0018__Code in [nim] z_000_104_a_factbook_2_2010_37 r_0104_0013__codified->z_000_104_a_factbook_2_2010_37 [arg0]
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).



%3 r_0104_0012__is_r_0104_0013__codified is codified z_000_104_a_factbook_2_2010_37 r_0104_0012__is_r_0104_0013__codified->z_000_104_a_factbook_2_2010_37 [arg0] r_0104_0015__the_r_0104_0016__United_r_0104_0017__States_r_0104_0018__Code the United States Code r_0104_0012__is_r_0104_0013__codified->r_0104_0015__the_r_0104_0016__United_r_0104_0017__States_r_0104_0018__Code in [nim] r_0104_0001__US_r_0104_0003__law US law r_0104_0012__is_r_0104_0013__codified->r_0104_0001__US_r_0104_0003__law [arg1] r_0104_0002__statutory statutory r_0104_0001__US_r_0104_0003__law->r_0104_0002__statutory [attrib] r_0104_0011__and and r_0104_0011__and->r_0104_0012__is_r_0104_0013__codified [conj2] r_0104_0004__is is r_0104_0011__and->r_0104_0004__is [conj1] r_0104_0004__is->r_0104_0001__US_r_0104_0003__law [arg0] r_0104_0005__legislation legislation r_0104_0004__is->r_0104_0005__legislation [prd] r_0104_0006__enacted enacted r_0104_0008__the_r_0104_0009__US_r_0104_0010__Congress the US Congress r_0104_0006__enacted->r_0104_0008__the_r_0104_0009__US_r_0104_0010__Congress [arg0] r_0104_0006__enacted->r_0104_0005__legislation [arg1]
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) ) ).



n104_a_factbook_2_2010 n104_a_factbook_2_2010__1_1_1_1 US n104_a_factbook_2_2010__1_1_2_1_1 statutory n104_a_factbook_2_2010__1_1_3_1 law n104_a_factbook_2_2010__1_2_1_1_1 is n104_a_factbook_2_2010__1_2_1_2_1_1 legislation n104_a_factbook_2_2010__1_2_1_2_2_1_1 enacted n104_a_factbook_2_2010__1_2_1_2_2_2_1_1 by n104_a_factbook_2_2010__1_2_1_2_2_2_2_1_1 the n104_a_factbook_2_2010__1_2_1_2_2_2_2_2_1 US n104_a_factbook_2_2010__1_2_1_2_2_2_2_3_1 Congress n104_a_factbook_2_2010__1_2_2_1_1 and n104_a_factbook_2_2010__1_2_2_2_1_1 is n104_a_factbook_2_2010__1_2_2_2_2_1_1 * n104_a_factbook_2_2010__1_2_2_2_2_2_1 codified n104_a_factbook_2_2010__1_2_2_2_2_3_1_1 in n104_a_factbook_2_2010__1_2_2_2_2_3_2_1_1 the n104_a_factbook_2_2010__1_2_2_2_2_3_2_2_1 United n104_a_factbook_2_2010__1_2_2_2_2_3_2_3_1 States n104_a_factbook_2_2010__1_2_2_2_2_3_2_4_1 Code n104_a_factbook_2_2010__1_3_1 . n104_a_factbook_2_2010__1 IP-MAT n104_a_factbook_2_2010__1_1 NP-SBJ n104_a_factbook_2_2010__1->n104_a_factbook_2_2010__1_1 n104_a_factbook_2_2010__1_2 ILYR n104_a_factbook_2_2010__1->n104_a_factbook_2_2010__1_2 n104_a_factbook_2_2010__1_3 PUNC n104_a_factbook_2_2010__1->n104_a_factbook_2_2010__1_3 n104_a_factbook_2_2010__1_1_1 NPR n104_a_factbook_2_2010__1_1->n104_a_factbook_2_2010__1_1_1 n104_a_factbook_2_2010__1_1_2 ADJP n104_a_factbook_2_2010__1_1->n104_a_factbook_2_2010__1_1_2 n104_a_factbook_2_2010__1_1_3 N n104_a_factbook_2_2010__1_1->n104_a_factbook_2_2010__1_1_3 n104_a_factbook_2_2010__1_1_1->n104_a_factbook_2_2010__1_1_1_1 n104_a_factbook_2_2010__1_1_2_1 ADJ n104_a_factbook_2_2010__1_1_2->n104_a_factbook_2_2010__1_1_2_1 n104_a_factbook_2_2010__1_1_2_1->n104_a_factbook_2_2010__1_1_2_1_1 n104_a_factbook_2_2010__1_1_3->n104_a_factbook_2_2010__1_1_3_1 n104_a_factbook_2_2010__1_2_1 ILYR n104_a_factbook_2_2010__1_2->n104_a_factbook_2_2010__1_2_1 n104_a_factbook_2_2010__1_2_2 CONJP n104_a_factbook_2_2010__1_2->n104_a_factbook_2_2010__1_2_2 n104_a_factbook_2_2010__1_2_1_1 BEP;_Ln_ n104_a_factbook_2_2010__1_2_1->n104_a_factbook_2_2010__1_2_1_1 n104_a_factbook_2_2010__1_2_1_2 NP-PRD n104_a_factbook_2_2010__1_2_1->n104_a_factbook_2_2010__1_2_1_2 n104_a_factbook_2_2010__1_2_1_1->n104_a_factbook_2_2010__1_2_1_1_1 n104_a_factbook_2_2010__1_2_1_2_1 N n104_a_factbook_2_2010__1_2_1_2->n104_a_factbook_2_2010__1_2_1_2_1 n104_a_factbook_2_2010__1_2_1_2_2 IP-PPL n104_a_factbook_2_2010__1_2_1_2->n104_a_factbook_2_2010__1_2_1_2_2 n104_a_factbook_2_2010__1_2_1_2_1->n104_a_factbook_2_2010__1_2_1_2_1_1 n104_a_factbook_2_2010__1_2_1_2_2_1 VVN;_Tn_ n104_a_factbook_2_2010__1_2_1_2_2->n104_a_factbook_2_2010__1_2_1_2_2_1 n104_a_factbook_2_2010__1_2_1_2_2_2 PP-LGS n104_a_factbook_2_2010__1_2_1_2_2->n104_a_factbook_2_2010__1_2_1_2_2_2 n104_a_factbook_2_2010__1_2_1_2_2_1->n104_a_factbook_2_2010__1_2_1_2_2_1_1 n104_a_factbook_2_2010__1_2_1_2_2_2_1 P-ROLE;_lgs_ n104_a_factbook_2_2010__1_2_1_2_2_2->n104_a_factbook_2_2010__1_2_1_2_2_2_1 n104_a_factbook_2_2010__1_2_1_2_2_2_2 NP n104_a_factbook_2_2010__1_2_1_2_2_2->n104_a_factbook_2_2010__1_2_1_2_2_2_2 n104_a_factbook_2_2010__1_2_1_2_2_2_1->n104_a_factbook_2_2010__1_2_1_2_2_2_1_1 n104_a_factbook_2_2010__1_2_1_2_2_2_2_1 D n104_a_factbook_2_2010__1_2_1_2_2_2_2->n104_a_factbook_2_2010__1_2_1_2_2_2_2_1 n104_a_factbook_2_2010__1_2_1_2_2_2_2_2 NPR n104_a_factbook_2_2010__1_2_1_2_2_2_2->n104_a_factbook_2_2010__1_2_1_2_2_2_2_2 n104_a_factbook_2_2010__1_2_1_2_2_2_2_3 NPR n104_a_factbook_2_2010__1_2_1_2_2_2_2->n104_a_factbook_2_2010__1_2_1_2_2_2_2_3 n104_a_factbook_2_2010__1_2_1_2_2_2_2_1->n104_a_factbook_2_2010__1_2_1_2_2_2_2_1_1 n104_a_factbook_2_2010__1_2_1_2_2_2_2_2->n104_a_factbook_2_2010__1_2_1_2_2_2_2_2_1 n104_a_factbook_2_2010__1_2_1_2_2_2_2_3->n104_a_factbook_2_2010__1_2_1_2_2_2_2_3_1 n104_a_factbook_2_2010__1_2_2_1 CONJ n104_a_factbook_2_2010__1_2_2->n104_a_factbook_2_2010__1_2_2_1 n104_a_factbook_2_2010__1_2_2_2 ILYR n104_a_factbook_2_2010__1_2_2->n104_a_factbook_2_2010__1_2_2_2 n104_a_factbook_2_2010__1_2_2_1->n104_a_factbook_2_2010__1_2_2_1_1 n104_a_factbook_2_2010__1_2_2_2_1 BEP;_cat_VePASS_ n104_a_factbook_2_2010__1_2_2_2->n104_a_factbook_2_2010__1_2_2_2_1 n104_a_factbook_2_2010__1_2_2_2_2 IP-PPL-CAT n104_a_factbook_2_2010__1_2_2_2->n104_a_factbook_2_2010__1_2_2_2_2 n104_a_factbook_2_2010__1_2_2_2_1->n104_a_factbook_2_2010__1_2_2_2_1_1 n104_a_factbook_2_2010__1_2_2_2_2_1 NP-LGS n104_a_factbook_2_2010__1_2_2_2_2->n104_a_factbook_2_2010__1_2_2_2_2_1 n104_a_factbook_2_2010__1_2_2_2_2_2 VVN;_Tn_ n104_a_factbook_2_2010__1_2_2_2_2->n104_a_factbook_2_2010__1_2_2_2_2_2 n104_a_factbook_2_2010__1_2_2_2_2_3 PP-NIM n104_a_factbook_2_2010__1_2_2_2_2->n104_a_factbook_2_2010__1_2_2_2_2_3 n104_a_factbook_2_2010__1_2_2_2_2_1->n104_a_factbook_2_2010__1_2_2_2_2_1_1 n104_a_factbook_2_2010__1_2_2_2_2_2->n104_a_factbook_2_2010__1_2_2_2_2_2_1 n104_a_factbook_2_2010__1_2_2_2_2_3_1 P-ROLE n104_a_factbook_2_2010__1_2_2_2_2_3->n104_a_factbook_2_2010__1_2_2_2_2_3_1 n104_a_factbook_2_2010__1_2_2_2_2_3_2 NP n104_a_factbook_2_2010__1_2_2_2_2_3->n104_a_factbook_2_2010__1_2_2_2_2_3_2 n104_a_factbook_2_2010__1_2_2_2_2_3_1->n104_a_factbook_2_2010__1_2_2_2_2_3_1_1 n104_a_factbook_2_2010__1_2_2_2_2_3_2_1 D n104_a_factbook_2_2010__1_2_2_2_2_3_2->n104_a_factbook_2_2010__1_2_2_2_2_3_2_1 n104_a_factbook_2_2010__1_2_2_2_2_3_2_2 NPR n104_a_factbook_2_2010__1_2_2_2_2_3_2->n104_a_factbook_2_2010__1_2_2_2_2_3_2_2 n104_a_factbook_2_2010__1_2_2_2_2_3_2_3 NPR n104_a_factbook_2_2010__1_2_2_2_2_3_2->n104_a_factbook_2_2010__1_2_2_2_2_3_2_3 n104_a_factbook_2_2010__1_2_2_2_2_3_2_4 NPR n104_a_factbook_2_2010__1_2_2_2_2_3_2->n104_a_factbook_2_2010__1_2_2_2_2_3_2_4 n104_a_factbook_2_2010__1_2_2_2_2_3_2_1->n104_a_factbook_2_2010__1_2_2_2_2_3_2_1_1 n104_a_factbook_2_2010__1_2_2_2_2_3_2_2->n104_a_factbook_2_2010__1_2_2_2_2_3_2_2_1 n104_a_factbook_2_2010__1_2_2_2_2_3_2_3->n104_a_factbook_2_2010__1_2_2_2_2_3_2_3_1 n104_a_factbook_2_2010__1_2_2_2_2_3_2_4->n104_a_factbook_2_2010__1_2_2_2_2_3_2_4_1 n104_a_factbook_2_2010__1_3->n104_a_factbook_2_2010__1_3_1
( (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))