TSPC 100_a_factbook_2

100_a_factbook_2_2010
The US Constitution, implemented in 1789, began shifting power away from the states and toward the federal government, though the states today retain substantial legal authority.

( (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;__ began;{begin})
          (IP-PPL-OB1 (VAG;_Tn.p_ shifting;{shift[away]})
                      (NP-OB1 (N power;{power}))
                      (RP away;{away})
                      (PP-NIM (PP-NIM (P-ROLE from;{from})
                                      (NP (D the;{the})
                                          (NS states;{state})))
                              (CONJP (CONJ and;{and})
                                     (PP-NIM (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))

arc(r_0100_0005__implemented,r_0100_0001__The_r_0100_0002__US_r_0100_0003__Constitution,inv_arg1).
arc(r_0100_0005__implemented,r_0100_0007__1789,r_0100_0006__in__nim).
arc(r_0100_0005__implemented,z_0100_5001___star_,arg0).
arc(r_0100_0009__began,r_0100_0001__The_r_0100_0002__US_r_0100_0003__Constitution,arg0).
arc(r_0100_0009__began,r_0100_0010__shifting_r_0100_0012__away,arg1).
arc(r_0100_0010__shifting_r_0100_0012__away,r_0100_0001__The_r_0100_0002__US_r_0100_0003__Constitution,arg0).
arc(r_0100_0010__shifting_r_0100_0012__away,r_0100_0011__power,arg1).
arc(r_0100_0010__shifting_r_0100_0012__away,r_0100_0016__and,nim).
arc(r_0100_0016__and,r_0100_0014__the_r_0100_0015__states,r_0100_0013__from__nim).
arc(r_0100_0016__and,r_0100_0018__the_r_0100_0020__government,r_0100_0017__toward__nim).
arc(r_0100_0018__the_r_0100_0020__government,r_0100_0019__federal,attrib).
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,nim).
arc(r_0100_0026__retain,r_0100_0029__authority,arg1).
arc(r_0100_0029__authority,r_0100_0027__substantial,attrib).
arc(r_0100_0029__authority,r_0100_0028__legal,attrib).

fof(formula,axiom,
    ? [R_0100_0007__1789,Z_0100_5001___STAR_,R_0100_0005__IMPLEMENTED,R_0100_0001__THE_R_0100_0002__US_R_0100_0003__CONSTITUTION,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_0016__AND,R_0100_0010__SHIFTING_R_0100_0012__AWAY,R_0100_0009__BEGAN,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_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_0100_5001___star_(Z_0100_5001___STAR_)
      & 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_attrib(R_0100_0029__AUTHORITY,R_0100_0028__LEGAL)
      & has_attrib(R_0100_0029__AUTHORITY,R_0100_0027__SUBSTANTIAL)
      & has_nim(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_0009__began(R_0100_0009__BEGAN)
      & has_arg1(R_0100_0009__BEGAN,R_0100_0010__SHIFTING_R_0100_0012__AWAY)
      & r_0100_0010__shifting_r_0100_0012__away(R_0100_0010__SHIFTING_R_0100_0012__AWAY)
      & has_nim(R_0100_0010__SHIFTING_R_0100_0012__AWAY,R_0100_0016__AND)
      & r_0100_0016__and(R_0100_0016__AND)
      & has_r_0100_0017__toward__nim(R_0100_0016__AND,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_attrib(R_0100_0018__THE_R_0100_0020__GOVERNMENT,R_0100_0019__FEDERAL)
      & has_r_0100_0013__from__nim(R_0100_0016__AND,R_0100_0014__THE_R_0100_0015__STATES)
      & has_arg1(R_0100_0010__SHIFTING_R_0100_0012__AWAY,R_0100_0011__POWER)
      & has_arg0(R_0100_0010__SHIFTING_R_0100_0012__AWAY,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_0001__THE_R_0100_0002__US_R_0100_0003__CONSTITUTION)
      & has_inv_arg1(R_0100_0001__THE_R_0100_0002__US_R_0100_0003__CONSTITUTION,R_0100_0005__IMPLEMENTED)
      & r_0100_0005__implemented(R_0100_0005__IMPLEMENTED)
      & has_arg0(R_0100_0005__IMPLEMENTED,Z_0100_5001___STAR_)
      & has_r_0100_0006__in__nim(R_0100_0005__IMPLEMENTED,R_0100_0007__1789)
      & has_arg0(R_0100_0009__BEGAN,R_0100_0001__THE_R_0100_0002__US_R_0100_0003__CONSTITUTION) ) ).