TSPC 104_a_factbook_2

104_a_factbook_2_2010
US statutory law is legislation enacted by the US Congress and is codified in 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 (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))

arc(r_0104_0001__US_r_0104_0003__law,r_0104_0002__statutory,attrib).
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,inv_arg1).
arc(r_0104_0006__enacted,r_0104_0008__the_r_0104_0009__US_r_0104_0010__Congress,r_0104_0007__by_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,arg0).
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__nim).

fof(formula,axiom,
    ? [R_0104_0002__STATUTORY,R_0104_0001__US_R_0104_0003__LAW,R_0104_0008__THE_R_0104_0009__US_R_0104_0010__CONGRESS,R_0104_0006__ENACTED,R_0104_0005__LEGISLATION,R_0104_0004__IS,R_0104_0015__THE_R_0104_0016__UNITED_R_0104_0017__STATES_R_0104_0018__CODE,R_0104_0012__IS_R_0104_0013__CODIFIED,R_0104_0011__AND] :
      ( r_0104_0002__statutory(R_0104_0002__STATUTORY)
      & r_0104_0008__the_r_0104_0009__US_r_0104_0010__Congress(R_0104_0008__THE_R_0104_0009__US_R_0104_0010__CONGRESS)
      & r_0104_0015__the_r_0104_0016__United_r_0104_0017__States_r_0104_0018__Code(R_0104_0015__THE_R_0104_0016__UNITED_R_0104_0017__STATES_R_0104_0018__CODE)
      & r_0104_0011__and(R_0104_0011__AND)
      & has_conj2(R_0104_0011__AND,R_0104_0012__IS_R_0104_0013__CODIFIED)
      & r_0104_0012__is_r_0104_0013__codified(R_0104_0012__IS_R_0104_0013__CODIFIED)
      & has_r_0104_0014__in__nim(R_0104_0012__IS_R_0104_0013__CODIFIED,R_0104_0015__THE_R_0104_0016__UNITED_R_0104_0017__STATES_R_0104_0018__CODE)
      & has_arg0(R_0104_0012__IS_R_0104_0013__CODIFIED,R_0104_0001__US_R_0104_0003__LAW)
      & r_0104_0001__US_r_0104_0003__law(R_0104_0001__US_R_0104_0003__LAW)
      & has_attrib(R_0104_0001__US_R_0104_0003__LAW,R_0104_0002__STATUTORY)
      & has_conj1(R_0104_0011__AND,R_0104_0004__IS)
      & r_0104_0004__is(R_0104_0004__IS)
      & has_prd(R_0104_0004__IS,R_0104_0005__LEGISLATION)
      & r_0104_0005__legislation(R_0104_0005__LEGISLATION)
      & has_inv_arg1(R_0104_0005__LEGISLATION,R_0104_0006__ENACTED)
      & r_0104_0006__enacted(R_0104_0006__ENACTED)
      & has_r_0104_0007__by_arg0(R_0104_0006__ENACTED,R_0104_0008__THE_R_0104_0009__US_R_0104_0010__CONGRESS)
      & has_arg0(R_0104_0004__IS,R_0104_0001__US_R_0104_0003__LAW) ) ).