arc(r_0068_0005__rejected, r_0068_0001__The_r_0068_0002__Adenauer_r_0068_0003__government, arg0).
arc(r_0068_0005__rejected, r_0068_0004__flatly, nim9).
arc(r_0068_0005__rejected, r_0068_0006__attempts, arg1).
arc(r_0068_0006__attempts, r_0068_0008__the_r_0068_0009__Eisenhower_r_0068_0010__government, r_0068_0007__by).
arc(r_0068_0006__attempts, r_0068_0011__to_r_0068_0012__get, emb27).
arc(r_0068_0011__to_r_0068_0012__get, r_0068_0001__The_r_0068_0002__Adenauer_r_0068_0003__government, arg1).
arc(r_0068_0011__to_r_0068_0012__get, r_0068_0014__to_r_0068_0015__pay, prd).
arc(r_0068_0011__to_r_0068_0012__get, z_000_68_a_lob_a01_27, arg0).
arc(r_0068_0014__to_r_0068_0015__pay, r_0068_0016__a_r_0068_0018__sum, arg1).
arc(r_0068_0014__to_r_0068_0015__pay, x_000_68_a_lob_a01_35, arg0).
arc(r_0068_0016__a_r_0068_0018__sum, r_0068_0017__regular, attrib43).
arc(r_0068_0016__a_r_0068_0018__sum, r_0068_0020__the_r_0068_0021__cost, r_0068_0019__towards).
arc(r_0068_0020__the_r_0068_0021__cost, r_0068_0023__keeping, r_0068_0022__of).
arc(r_0068_0023__keeping, r_0068_0025__troops, arg1).
arc(r_0068_0023__keeping, r_0068_0027__Germany, r_0068_0026__in_nim71).
arc(r_0068_0023__keeping, z_000_68_a_lob_a01_59, arg0).
arc(r_0068_0025__troops, r_0068_0024__American, attrib63).

fof(formula,axiom,
    ? [R_0068_0001__THE_R_0068_0002__ADENAUER_R_0068_0003__GOVERNMENT,R_0068_0004__FLATLY,R_0068_0008__THE_R_0068_0009__EISENHOWER_R_0068_0010__GOVERNMENT,R_0068_0017__REGULAR,R_0068_0024__AMERICAN,R_0068_0025__TROOPS,R_0068_0027__GERMANY,Z_000_68_A_LOB_A01_59,R_0068_0023__KEEPING,R_0068_0020__THE_R_0068_0021__COST,R_0068_0016__A_R_0068_0018__SUM,X_000_68_A_LOB_A01_35,R_0068_0014__TO_R_0068_0015__PAY,Z_000_68_A_LOB_A01_27,R_0068_0011__TO_R_0068_0012__GET,R_0068_0006__ATTEMPTS,R_0068_0005__REJECTED] :
      ( r_0068_0001__The_r_0068_0002__Adenauer_r_0068_0003__government(R_0068_0001__THE_R_0068_0002__ADENAUER_R_0068_0003__GOVERNMENT)
      & r_0068_0004__flatly(R_0068_0004__FLATLY)
      & r_0068_0008__the_r_0068_0009__Eisenhower_r_0068_0010__government(R_0068_0008__THE_R_0068_0009__EISENHOWER_R_0068_0010__GOVERNMENT)
      & r_0068_0017__regular(R_0068_0017__REGULAR)
      & r_0068_0024__American(R_0068_0024__AMERICAN)
      & r_0068_0027__Germany(R_0068_0027__GERMANY)
      & x_000_68_a_lob_a01_35(X_000_68_A_LOB_A01_35)
      & z_000_68_a_lob_a01_27(Z_000_68_A_LOB_A01_27)
      & z_000_68_a_lob_a01_59(Z_000_68_A_LOB_A01_59)
      & r_0068_0005__rejected(R_0068_0005__REJECTED)
      & has_arg1(R_0068_0005__REJECTED,R_0068_0006__ATTEMPTS)
      & r_0068_0006__attempts(R_0068_0006__ATTEMPTS)
      & has_emb27(R_0068_0006__ATTEMPTS,R_0068_0011__TO_R_0068_0012__GET)
      & r_0068_0011__to_r_0068_0012__get(R_0068_0011__TO_R_0068_0012__GET)
      & has_arg0(R_0068_0011__TO_R_0068_0012__GET,Z_000_68_A_LOB_A01_27)
      & has_prd(R_0068_0011__TO_R_0068_0012__GET,R_0068_0014__TO_R_0068_0015__PAY)
      & r_0068_0014__to_r_0068_0015__pay(R_0068_0014__TO_R_0068_0015__PAY)
      & has_arg0(R_0068_0014__TO_R_0068_0015__PAY,X_000_68_A_LOB_A01_35)
      & has_arg1(R_0068_0014__TO_R_0068_0015__PAY,R_0068_0016__A_R_0068_0018__SUM)
      & r_0068_0016__a_r_0068_0018__sum(R_0068_0016__A_R_0068_0018__SUM)
      & has_r_0068_0019__towards(R_0068_0016__A_R_0068_0018__SUM,R_0068_0020__THE_R_0068_0021__COST)
      & r_0068_0020__the_r_0068_0021__cost(R_0068_0020__THE_R_0068_0021__COST)
      & has_r_0068_0022__of(R_0068_0020__THE_R_0068_0021__COST,R_0068_0023__KEEPING)
      & r_0068_0023__keeping(R_0068_0023__KEEPING)
      & has_arg0(R_0068_0023__KEEPING,Z_000_68_A_LOB_A01_59)
      & has_r_0068_0026__in_nim71(R_0068_0023__KEEPING,R_0068_0027__GERMANY)
      & has_arg1(R_0068_0023__KEEPING,R_0068_0025__TROOPS)
      & r_0068_0025__troops(R_0068_0025__TROOPS)
      & has_attrib63(R_0068_0025__TROOPS,R_0068_0024__AMERICAN)
      & has_attrib43(R_0068_0016__A_R_0068_0018__SUM,R_0068_0017__REGULAR)
      & has_arg1(R_0068_0011__TO_R_0068_0012__GET,R_0068_0001__THE_R_0068_0002__ADENAUER_R_0068_0003__GOVERNMENT)
      & has_r_0068_0007__by(R_0068_0006__ATTEMPTS,R_0068_0008__THE_R_0068_0009__EISENHOWER_R_0068_0010__GOVERNMENT)
      & has_nim9(R_0068_0005__REJECTED,R_0068_0004__FLATLY)
      & has_arg0(R_0068_0005__REJECTED,R_0068_0001__THE_R_0068_0002__ADENAUER_R_0068_0003__GOVERNMENT) ) ).

( (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 68_a_lob_a01))