101_a_factbook_2_2010
US law draws its authority from four sources: constitutional law, statutory law, administrative regulations, and case law.

%3 r_0101_0003__draws draws r_0101_0001__US_r_0101_0002__law US law r_0101_0003__draws->r_0101_0001__US_r_0101_0002__law [arg0] r_0101_0005__authority authority r_0101_0003__draws->r_0101_0005__authority [arg1] r_0101_0007__four_r_0101_0008__sources four sources r_0101_0003__draws->r_0101_0007__four_r_0101_0008__sources from [nim] r_0101_0005__authority->r_0101_0001__US_r_0101_0002__law [gen] r_0101_0011__law law r_0101_0010__constitutional constitutional r_0101_0011__law->r_0101_0010__constitutional [attrib] r_0101_0014__law law r_0101_0013__statutory statutory r_0101_0014__law->r_0101_0013__statutory [attrib] r_0101_0017__regulations regulations r_0101_0016__administrative administrative r_0101_0017__regulations->r_0101_0016__administrative [attrib] r_0101_0019__and and r_0101_0019__and->r_0101_0011__law [conj1] r_0101_0019__and->r_0101_0014__law [conj2] r_0101_0019__and->r_0101_0017__regulations [conj3] r_0101_0020__case_r_0101_0021__law case law r_0101_0019__and->r_0101_0020__case_r_0101_0021__law [conj4] z_000_101_a_factbook_2_2010_25 z_000_101_a_factbook_2_2010_25->r_0101_0007__four_r_0101_0008__sources [arg0] z_000_101_a_factbook_2_2010_25->r_0101_0019__and [prd]
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).



%3 r_0101_0003__draws draws r_0101_0001__US_r_0101_0002__law US law r_0101_0003__draws->r_0101_0001__US_r_0101_0002__law [arg0] r_0101_0005__authority authority r_0101_0003__draws->r_0101_0005__authority [arg1] r_0101_0007__four_r_0101_0008__sources four sources r_0101_0003__draws->r_0101_0007__four_r_0101_0008__sources from [nim] r_0101_0005__authority->r_0101_0001__US_r_0101_0002__law [gen] r_0101_0011__law law r_0101_0010__constitutional constitutional r_0101_0011__law->r_0101_0010__constitutional [attrib] r_0101_0014__law law r_0101_0013__statutory statutory r_0101_0014__law->r_0101_0013__statutory [attrib] r_0101_0017__regulations regulations r_0101_0016__administrative administrative r_0101_0017__regulations->r_0101_0016__administrative [attrib] r_0101_0019__and and r_0101_0019__and->r_0101_0011__law [conj1] r_0101_0019__and->r_0101_0014__law [conj2] r_0101_0019__and->r_0101_0017__regulations [conj3] r_0101_0020__case_r_0101_0021__law case law r_0101_0019__and->r_0101_0020__case_r_0101_0021__law [conj4] z_000_101_a_factbook_2_2010_25 z_000_101_a_factbook_2_2010_25->r_0101_0007__four_r_0101_0008__sources [arg0] z_000_101_a_factbook_2_2010_25->r_0101_0019__and [prd]
fof(formula,axiom,
    ? [R_101_3_DRAWS,R_101_5_AUTHORITY,R_101_1_US_LAW,Z_101_A_FACTBOOK_2_2010_25,R_101_7_FOUR_SOURCES,R_101_19_AND,R_101_11_LAW,R_101_10_CONSTITUTIONAL,R_101_14_LAW,R_101_13_STATUTORY,R_101_17_REGULATIONS,R_101_16_ADMINISTRATIVE,R_101_20_CASE_LAW] :
      ( uS_law(R_101_1_US_LAW)
      & four_sources(R_101_7_FOUR_SOURCES)
      & constitutional(R_101_10_CONSTITUTIONAL)
      & statutory(R_101_13_STATUTORY)
      & administrative(R_101_16_ADMINISTRATIVE)
      & case_law(R_101_20_CASE_LAW)
      & draws(R_101_3_DRAWS,R_101_1_US_LAW,R_101_5_AUTHORITY)
      & authority(R_101_5_AUTHORITY)
      & gen(R_101_5_AUTHORITY,R_101_1_US_LAW)
      & from_nim18(R_101_3_DRAWS,R_101_7_FOUR_SOURCES)
      & z_101_a_factbook_2_2010_25(Z_101_A_FACTBOOK_2_2010_25,R_101_7_FOUR_SOURCES,R_101_19_AND)
      & and(R_101_19_AND)
      & conj1(R_101_19_AND,R_101_11_LAW)
      & law(R_101_11_LAW)
      & attrib29(R_101_11_LAW,R_101_10_CONSTITUTIONAL)
      & conj2(R_101_19_AND,R_101_14_LAW)
      & law(R_101_14_LAW)
      & attrib38(R_101_14_LAW,R_101_13_STATUTORY)
      & conj3(R_101_19_AND,R_101_17_REGULATIONS)
      & regulations(R_101_17_REGULATIONS)
      & attrib47(R_101_17_REGULATIONS,R_101_16_ADMINISTRATIVE)
      & conj4(R_101_19_AND,R_101_20_CASE_LAW) ) ).



n101_a_factbook_2_2010 n101_a_factbook_2_2010_4 US n101_a_factbook_2_2010_6 law n101_a_factbook_2_2010_8 draws n101_a_factbook_2_2010_12 its n101_a_factbook_2_2010_14 authority n101_a_factbook_2_2010_17 from n101_a_factbook_2_2010_20 four n101_a_factbook_2_2010_22 sources n101_a_factbook_2_2010_24 : n101_a_factbook_2_2010_31 constitutional n101_a_factbook_2_2010_33 law n101_a_factbook_2_2010_35 , n101_a_factbook_2_2010_40 statutory n101_a_factbook_2_2010_42 law n101_a_factbook_2_2010_44 , n101_a_factbook_2_2010_49 administrative n101_a_factbook_2_2010_51 regulations n101_a_factbook_2_2010_53 , n101_a_factbook_2_2010_56 and n101_a_factbook_2_2010_59 case n101_a_factbook_2_2010_61 law n101_a_factbook_2_2010_63 . n101_a_factbook_2_2010_1 IP-MAT n101_a_factbook_2_2010_2 NP-SBJ n101_a_factbook_2_2010_1->n101_a_factbook_2_2010_2 n101_a_factbook_2_2010_7 VBP;__ n101_a_factbook_2_2010_1->n101_a_factbook_2_2010_7 n101_a_factbook_2_2010_9 NP-OB1 n101_a_factbook_2_2010_1->n101_a_factbook_2_2010_9 n101_a_factbook_2_2010_15 PP-NIM n101_a_factbook_2_2010_1->n101_a_factbook_2_2010_15 n101_a_factbook_2_2010_62 PUNC n101_a_factbook_2_2010_1->n101_a_factbook_2_2010_62 n101_a_factbook_2_2010_3 NPR n101_a_factbook_2_2010_2->n101_a_factbook_2_2010_3 n101_a_factbook_2_2010_5 N n101_a_factbook_2_2010_2->n101_a_factbook_2_2010_5 n101_a_factbook_2_2010_3->n101_a_factbook_2_2010_4 n101_a_factbook_2_2010_5->n101_a_factbook_2_2010_6 n101_a_factbook_2_2010_7->n101_a_factbook_2_2010_8 n101_a_factbook_2_2010_10 NP-GEN n101_a_factbook_2_2010_9->n101_a_factbook_2_2010_10 n101_a_factbook_2_2010_13 N n101_a_factbook_2_2010_9->n101_a_factbook_2_2010_13 n101_a_factbook_2_2010_11 PRO;_genm_ n101_a_factbook_2_2010_10->n101_a_factbook_2_2010_11 n101_a_factbook_2_2010_11->n101_a_factbook_2_2010_12 n101_a_factbook_2_2010_13->n101_a_factbook_2_2010_14 n101_a_factbook_2_2010_16 P-ROLE n101_a_factbook_2_2010_15->n101_a_factbook_2_2010_16 n101_a_factbook_2_2010_18 NP n101_a_factbook_2_2010_15->n101_a_factbook_2_2010_18 n101_a_factbook_2_2010_16->n101_a_factbook_2_2010_17 n101_a_factbook_2_2010_19 NUM n101_a_factbook_2_2010_18->n101_a_factbook_2_2010_19 n101_a_factbook_2_2010_21 NS n101_a_factbook_2_2010_18->n101_a_factbook_2_2010_21 n101_a_factbook_2_2010_23 PUNC n101_a_factbook_2_2010_18->n101_a_factbook_2_2010_23 n101_a_factbook_2_2010_25 IP-PPL n101_a_factbook_2_2010_18->n101_a_factbook_2_2010_25 n101_a_factbook_2_2010_19->n101_a_factbook_2_2010_20 n101_a_factbook_2_2010_21->n101_a_factbook_2_2010_22 n101_a_factbook_2_2010_23->n101_a_factbook_2_2010_24 n101_a_factbook_2_2010_26 NP-PRD n101_a_factbook_2_2010_25->n101_a_factbook_2_2010_26 n101_a_factbook_2_2010_27 NLYR n101_a_factbook_2_2010_26->n101_a_factbook_2_2010_27 n101_a_factbook_2_2010_28 NLYR n101_a_factbook_2_2010_27->n101_a_factbook_2_2010_28 n101_a_factbook_2_2010_34 PUNC n101_a_factbook_2_2010_27->n101_a_factbook_2_2010_34 n101_a_factbook_2_2010_36 CONJP n101_a_factbook_2_2010_27->n101_a_factbook_2_2010_36 n101_a_factbook_2_2010_43 PUNC n101_a_factbook_2_2010_27->n101_a_factbook_2_2010_43 n101_a_factbook_2_2010_45 CONJP n101_a_factbook_2_2010_27->n101_a_factbook_2_2010_45 n101_a_factbook_2_2010_52 PUNC n101_a_factbook_2_2010_27->n101_a_factbook_2_2010_52 n101_a_factbook_2_2010_54 CONJP n101_a_factbook_2_2010_27->n101_a_factbook_2_2010_54 n101_a_factbook_2_2010_29 ADJP n101_a_factbook_2_2010_28->n101_a_factbook_2_2010_29 n101_a_factbook_2_2010_32 N n101_a_factbook_2_2010_28->n101_a_factbook_2_2010_32 n101_a_factbook_2_2010_30 ADJ n101_a_factbook_2_2010_29->n101_a_factbook_2_2010_30 n101_a_factbook_2_2010_30->n101_a_factbook_2_2010_31 n101_a_factbook_2_2010_32->n101_a_factbook_2_2010_33 n101_a_factbook_2_2010_34->n101_a_factbook_2_2010_35 n101_a_factbook_2_2010_37 NLYR n101_a_factbook_2_2010_36->n101_a_factbook_2_2010_37 n101_a_factbook_2_2010_38 ADJP n101_a_factbook_2_2010_37->n101_a_factbook_2_2010_38 n101_a_factbook_2_2010_41 N n101_a_factbook_2_2010_37->n101_a_factbook_2_2010_41 n101_a_factbook_2_2010_39 ADJ n101_a_factbook_2_2010_38->n101_a_factbook_2_2010_39 n101_a_factbook_2_2010_39->n101_a_factbook_2_2010_40 n101_a_factbook_2_2010_41->n101_a_factbook_2_2010_42 n101_a_factbook_2_2010_43->n101_a_factbook_2_2010_44 n101_a_factbook_2_2010_46 NLYR n101_a_factbook_2_2010_45->n101_a_factbook_2_2010_46 n101_a_factbook_2_2010_47 ADJP n101_a_factbook_2_2010_46->n101_a_factbook_2_2010_47 n101_a_factbook_2_2010_50 NS n101_a_factbook_2_2010_46->n101_a_factbook_2_2010_50 n101_a_factbook_2_2010_48 ADJ n101_a_factbook_2_2010_47->n101_a_factbook_2_2010_48 n101_a_factbook_2_2010_48->n101_a_factbook_2_2010_49 n101_a_factbook_2_2010_50->n101_a_factbook_2_2010_51 n101_a_factbook_2_2010_52->n101_a_factbook_2_2010_53 n101_a_factbook_2_2010_55 CONJ n101_a_factbook_2_2010_54->n101_a_factbook_2_2010_55 n101_a_factbook_2_2010_57 NLYR n101_a_factbook_2_2010_54->n101_a_factbook_2_2010_57 n101_a_factbook_2_2010_55->n101_a_factbook_2_2010_56 n101_a_factbook_2_2010_58 N n101_a_factbook_2_2010_57->n101_a_factbook_2_2010_58 n101_a_factbook_2_2010_60 N n101_a_factbook_2_2010_57->n101_a_factbook_2_2010_60 n101_a_factbook_2_2010_58->n101_a_factbook_2_2010_59 n101_a_factbook_2_2010_60->n101_a_factbook_2_2010_61 n101_a_factbook_2_2010_62->n101_a_factbook_2_2010_63
( (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))