TSPC 101_a_factbook_2

101_a_factbook_2_2010
US law draws its authority from four sources: constitutional law, statutory law, administrative regulations, and case 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 :)
                      (PRN (NP (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))

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__nim).
arc(r_0101_0005__authority,r_0101_0001__US_r_0101_0002__law,gen).
arc(r_0101_0011__law,r_0101_0010__constitutional,attrib).
arc(r_0101_0014__law,r_0101_0013__statutory,attrib).
arc(r_0101_0017__regulations,r_0101_0016__administrative,attrib).
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_0101_5013,r_0101_0007__four_r_0101_0008__sources,arg0).
arc(z_0101_5013,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_0101_5013] :
      ( 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_0101_5013(Z_0101_5013)
      & has_prd(Z_0101_5013,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_attrib(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_attrib(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_attrib(R_0101_0011__LAW,R_0101_0010__CONSTITUTIONAL)
      & has_arg0(Z_0101_5013,R_0101_0007__FOUR_R_0101_0008__SOURCES)
      & r_0101_0003__draws(R_0101_0003__DRAWS)
      & has_r_0101_0006__from__nim(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) ) ).