TSPC 70_a_lob

70_a_lob_a01
The Adenauer government flatly rejected attempts by the Eisenhower government to get them to pay a regular sum towards the cost of keeping American troops in Germany.

( (IP-MAT (NP-SBJ;{ADENAUER_GOVERNMENT} (D The;{the})
                                        (NPR Adenauer;{Adenauer})
                                        (N government;{government}))
          (ADVP-NIM (ADV flatly;{flatly}))
          (VBD;_Tn_ rejected;{reject})
          (NP-OB1 (NS attempts;{attempt})
                  (PP (P-ROLE by;{by})
                      (NP (D the;{the})
                          (NPR Eisenhower;{Eisenhower})
                          (N government;{government})))
                  (IP-INF (TO to;{to})
                          (VB;_Cn.t_ get;{get})
                          (NP-OB1;{ADENAUER_GOVERNMENT} (PRO them;{they}))
                          (IP-INF-PRD (TO to;{to})
                                      (VB;_Tn_ pay;{pay})
                                      (NP-OB1 (D a;{a})
                                              (ADJP (ADJ regular;{regular}))
                                              (N sum;{sum})
                                              (PP (P-ROLE towards;{towards})
                                                  (NP (D the;{the})
                                                      (N cost;{cost})
                                                      (PP (P-ROLE of;{of})
                                                          (IP-PPL (VAG;_Tn_ keeping;{keep})
                                                                  (NP-OB1 (ADJP (ADJ American;{american}))
                                                                          (NS troops;{troop}))
                                                                  (PP-NIM (P-ROLE in;{in})
                                                                          (NP (NPR Germany;{Germany})))))))))))
          (PUNC .))
  (ID 70_a_lob_a01))

arc(r_0070_0005__rejected,r_0070_0001__The_r_0070_0002__Adenauer_r_0070_0003__government,arg0).
arc(r_0070_0005__rejected,r_0070_0004__flatly,nim).
arc(r_0070_0005__rejected,r_0070_0006__attempts,arg1).
arc(r_0070_0006__attempts,r_0070_0008__the_r_0070_0009__Eisenhower_r_0070_0010__government,r_0070_0007__by).
arc(r_0070_0006__attempts,r_0070_0012__get,emb).
arc(r_0070_0012__get,r_0070_0001__The_r_0070_0002__Adenauer_r_0070_0003__government,arg1).
arc(r_0070_0012__get,r_0070_0015__pay,prd).
arc(r_0070_0012__get,z_0070_5006,arg0).
arc(r_0070_0015__pay,r_0070_0016__a_r_0070_0018__sum,arg1).
arc(r_0070_0015__pay,z_0070_5010,arg0).
arc(r_0070_0016__a_r_0070_0018__sum,r_0070_0017__regular,attrib).
arc(r_0070_0016__a_r_0070_0018__sum,r_0070_0020__the_r_0070_0021__cost,r_0070_0019__towards).
arc(r_0070_0020__the_r_0070_0021__cost,r_0070_0023__keeping,r_0070_0022__of).
arc(r_0070_0023__keeping,r_0070_0025__troops,arg1).
arc(r_0070_0023__keeping,r_0070_0027__Germany,r_0070_0026__in__nim).
arc(r_0070_0023__keeping,z_0070_5016,arg0).
arc(r_0070_0025__troops,r_0070_0024__American,attrib).

fof(formula,axiom,
    ? [R_0070_0001__THE_R_0070_0002__ADENAUER_R_0070_0003__GOVERNMENT,R_0070_0004__FLATLY,R_0070_0008__THE_R_0070_0009__EISENHOWER_R_0070_0010__GOVERNMENT,R_0070_0017__REGULAR,R_0070_0024__AMERICAN,R_0070_0025__TROOPS,R_0070_0027__GERMANY,Z_0070_5016,R_0070_0023__KEEPING,R_0070_0020__THE_R_0070_0021__COST,R_0070_0016__A_R_0070_0018__SUM,Z_0070_5010,R_0070_0015__PAY,Z_0070_5006,R_0070_0012__GET,R_0070_0006__ATTEMPTS,R_0070_0005__REJECTED] :
      ( r_0070_0001__The_r_0070_0002__Adenauer_r_0070_0003__government(R_0070_0001__THE_R_0070_0002__ADENAUER_R_0070_0003__GOVERNMENT)
      & r_0070_0004__flatly(R_0070_0004__FLATLY)
      & r_0070_0008__the_r_0070_0009__Eisenhower_r_0070_0010__government(R_0070_0008__THE_R_0070_0009__EISENHOWER_R_0070_0010__GOVERNMENT)
      & r_0070_0017__regular(R_0070_0017__REGULAR)
      & r_0070_0024__American(R_0070_0024__AMERICAN)
      & r_0070_0027__Germany(R_0070_0027__GERMANY)
      & z_0070_5006(Z_0070_5006)
      & z_0070_5010(Z_0070_5010)
      & z_0070_5016(Z_0070_5016)
      & r_0070_0005__rejected(R_0070_0005__REJECTED)
      & has_arg1(R_0070_0005__REJECTED,R_0070_0006__ATTEMPTS)
      & r_0070_0006__attempts(R_0070_0006__ATTEMPTS)
      & has_emb(R_0070_0006__ATTEMPTS,R_0070_0012__GET)
      & r_0070_0012__get(R_0070_0012__GET)
      & has_arg0(R_0070_0012__GET,Z_0070_5006)
      & has_prd(R_0070_0012__GET,R_0070_0015__PAY)
      & r_0070_0015__pay(R_0070_0015__PAY)
      & has_arg0(R_0070_0015__PAY,Z_0070_5010)
      & has_arg1(R_0070_0015__PAY,R_0070_0016__A_R_0070_0018__SUM)
      & r_0070_0016__a_r_0070_0018__sum(R_0070_0016__A_R_0070_0018__SUM)
      & has_r_0070_0019__towards(R_0070_0016__A_R_0070_0018__SUM,R_0070_0020__THE_R_0070_0021__COST)
      & r_0070_0020__the_r_0070_0021__cost(R_0070_0020__THE_R_0070_0021__COST)
      & has_r_0070_0022__of(R_0070_0020__THE_R_0070_0021__COST,R_0070_0023__KEEPING)
      & r_0070_0023__keeping(R_0070_0023__KEEPING)
      & has_arg0(R_0070_0023__KEEPING,Z_0070_5016)
      & has_r_0070_0026__in__nim(R_0070_0023__KEEPING,R_0070_0027__GERMANY)
      & has_arg1(R_0070_0023__KEEPING,R_0070_0025__TROOPS)
      & r_0070_0025__troops(R_0070_0025__TROOPS)
      & has_attrib(R_0070_0025__TROOPS,R_0070_0024__AMERICAN)
      & has_attrib(R_0070_0016__A_R_0070_0018__SUM,R_0070_0017__REGULAR)
      & has_arg1(R_0070_0012__GET,R_0070_0001__THE_R_0070_0002__ADENAUER_R_0070_0003__GOVERNMENT)
      & has_r_0070_0007__by(R_0070_0006__ATTEMPTS,R_0070_0008__THE_R_0070_0009__EISENHOWER_R_0070_0010__GOVERNMENT)
      & has_nim(R_0070_0005__REJECTED,R_0070_0004__FLATLY)
      & has_arg0(R_0070_0005__REJECTED,R_0070_0001__THE_R_0070_0002__ADENAUER_R_0070_0003__GOVERNMENT) ) ).