arc(r_0100_0005__implemented, r_0100_0001__The_r_0100_0002__US_r_0100_0003__Constitution, arg1).
arc(r_0100_0005__implemented, r_0100_0007__1789, r_0100_0006__in_nim19).
arc(r_0100_0005__implemented, z_000_100_a_factbook_2_2010_12, arg0).
arc(r_0100_0009__began, r_0100_0010__shifting, scope).
arc(r_0100_0010__shifting, r_0100_0001__The_r_0100_0002__US_r_0100_0003__Constitution, arg0).
arc(r_0100_0010__shifting, r_0100_0011__power, arg1).
arc(r_0100_0010__shifting, r_0100_0014__the_r_0100_0015__states, r_0100_0012__away_r_0100_0013__from_clr37).
arc(r_0100_0010__shifting, r_0100_0018__the_r_0100_0020__government, r_0100_0016__and_r_0100_0017__toward_clr47).
arc(r_0100_0018__the_r_0100_0020__government, r_0100_0019__federal, attrib50).
arc(r_0100_0022__though, r_0100_0009__began, scope).
arc(r_0100_0022__though, r_0100_0026__retain, restriction).
arc(r_0100_0026__retain, r_0100_0023__the_r_0100_0024__states, arg0).
arc(r_0100_0026__retain, r_0100_0025__today, nim66).
arc(r_0100_0026__retain, r_0100_0029__authority, arg1).
arc(r_0100_0029__authority, r_0100_0027__substantial, attrib72).
arc(r_0100_0029__authority, r_0100_0028__legal, attrib75).

fof(formula,axiom,
    ? [R_0100_0001__THE_R_0100_0002__US_R_0100_0003__CONSTITUTION,R_0100_0007__1789,Z_000_100_A_FACTBOOK_2_2010_12,R_0100_0005__IMPLEMENTED,R_0100_0011__POWER,R_0100_0014__THE_R_0100_0015__STATES,R_0100_0019__FEDERAL,R_0100_0018__THE_R_0100_0020__GOVERNMENT,R_0100_0009__BEGAN_R_0100_0010__SHIFTING,R_0100_0023__THE_R_0100_0024__STATES,R_0100_0025__TODAY,R_0100_0027__SUBSTANTIAL,R_0100_0028__LEGAL,R_0100_0029__AUTHORITY,R_0100_0026__RETAIN,R_0100_0022__THOUGH] :
      ( r_0100_0001__The_r_0100_0002__US_r_0100_0003__Constitution(R_0100_0001__THE_R_0100_0002__US_R_0100_0003__CONSTITUTION)
      & r_0100_0007__1789(R_0100_0007__1789)
      & r_0100_0011__power(R_0100_0011__POWER)
      & r_0100_0014__the_r_0100_0015__states(R_0100_0014__THE_R_0100_0015__STATES)
      & r_0100_0019__federal(R_0100_0019__FEDERAL)
      & r_0100_0023__the_r_0100_0024__states(R_0100_0023__THE_R_0100_0024__STATES)
      & r_0100_0025__today(R_0100_0025__TODAY)
      & r_0100_0027__substantial(R_0100_0027__SUBSTANTIAL)
      & r_0100_0028__legal(R_0100_0028__LEGAL)
      & z_000_100_a_factbook_2_2010_12(Z_000_100_A_FACTBOOK_2_2010_12)
      & r_0100_0022__though(R_0100_0022__THOUGH)
      & has_conj1(R_0100_0022__THOUGH,R_0100_0026__RETAIN)
      & r_0100_0026__retain(R_0100_0026__RETAIN)
      & has_arg1(R_0100_0026__RETAIN,R_0100_0029__AUTHORITY)
      & r_0100_0029__authority(R_0100_0029__AUTHORITY)
      & has_attrib75(R_0100_0029__AUTHORITY,R_0100_0028__LEGAL)
      & has_attrib72(R_0100_0029__AUTHORITY,R_0100_0027__SUBSTANTIAL)
      & has_nim66(R_0100_0026__RETAIN,R_0100_0025__TODAY)
      & has_arg0(R_0100_0026__RETAIN,R_0100_0023__THE_R_0100_0024__STATES)
      & has_conj2(R_0100_0022__THOUGH,R_0100_0009__BEGAN_R_0100_0010__SHIFTING)
      & r_0100_0009__began_r_0100_0010__shifting(R_0100_0009__BEGAN_R_0100_0010__SHIFTING)
      & has_r_0100_0016__and_r_0100_0017__toward_clr47(R_0100_0009__BEGAN_R_0100_0010__SHIFTING,R_0100_0018__THE_R_0100_0020__GOVERNMENT)
      & r_0100_0018__the_r_0100_0020__government(R_0100_0018__THE_R_0100_0020__GOVERNMENT)
      & has_attrib50(R_0100_0018__THE_R_0100_0020__GOVERNMENT,R_0100_0019__FEDERAL)
      & has_r_0100_0012__away_r_0100_0013__from_clr37(R_0100_0009__BEGAN_R_0100_0010__SHIFTING,R_0100_0014__THE_R_0100_0015__STATES)
      & has_arg1(R_0100_0009__BEGAN_R_0100_0010__SHIFTING,R_0100_0011__POWER)
      & has_arg0(R_0100_0009__BEGAN_R_0100_0010__SHIFTING,R_0100_0001__THE_R_0100_0002__US_R_0100_0003__CONSTITUTION)
      & r_0100_0005__implemented(R_0100_0005__IMPLEMENTED)
      & has_arg0(R_0100_0005__IMPLEMENTED,Z_000_100_A_FACTBOOK_2_2010_12)
      & has_r_0100_0006__in_nim19(R_0100_0005__IMPLEMENTED,R_0100_0007__1789)
      & has_arg1(R_0100_0005__IMPLEMENTED,R_0100_0001__THE_R_0100_0002__US_R_0100_0003__CONSTITUTION) ) ).

( (IP-MAT (NP-SBJ (D The;{the})
                  (NPR US)
                  (NPR Constitution;{Constitution})
                  (PUNC ,)
                  (IP-PPL (NP-LGS *)
                          (VVN;__ implemented;{implement})
                          (PP-NIM (P-ROLE in;{in})
                                  (NP (NPR 1789)))))
          (PUNC ,)
          (VBD;_cat_Vg_ began;{begin})
          (IP-PPL-CAT (VAG;_Tn.pr_ shifting;{shift[from,to]})
                      (NP-OB1 (N power;{power}))
                      (PP-CLR (RP away;{away})
                              (P-ROLE from;{from})
                              (NP (D the;{the})
                                  (NS states;{state})))
                      (PP-CLR (CONJ and;{and})
                              (P-ROLE toward;{toward})
                              (NP (D the;{the})
                                  (ADJP (ADJ federal;{federal}))
                                  (N government;{government}))))
          (PUNC ,)
          (PP-SCON (P-CONN though;{though})
                   (IP-ADV (NP-SBJ (D the;{the})
                                   (NS states;{state}))
                           (ADVP-NIM (ADV today;{today}))
                           (VBP;__ retain;{retain})
                           (NP-OB1 (ADJP (ADJ substantial;{substantial}))
                                   (ADJP (ADJ legal;{legal}))
                                   (N authority;{authority}))))
          (PUNC .))
  (ID 100_a_factbook_2_2010))