TSPC 59_a_lob

59_a_lob_a01
President Kennedy is ready to get tough over West Germany's cash offer to help America's balance of payments position.

( (IP-MAT (NP-SBJ;{KENNEDY} (N President;{president})
                            (NPR Kennedy;{Kennedy}))
          (BEP;_La_ is;{be})
          (ADJP-PRD (ADJ;_cat_ ready;{ready})
                    (IP-INF (TO to;{to})
                            (VB;_La_ get;{get})
                            (ADJP-PRD (ADJ tough;{tough})
                                      (PP (P-ROLE over;{over})
                                          (NP (NP-GEN (NPR West;{West})
                                                      (NPR Germany;{Germany})
                                                      (GENM <apos>s))
                                              (N cash;{cash})
                                              (N offer;{offer})
                                              (IP-INF (TO to;{to})
                                                      (VB;_Tn_ help;{help})
                                                      (NP-OB1 (NP-GEN (NPR America;{America})
                                                                      (GENM <apos>s))
                                                              (N balance;{balance})
                                                              (PP (P-ROLE of;{of})
                                                                  (NP (NS payments;{payment})
                                                                      (N position;{position}))))))))))
          (PUNC .))
  (ID 59_a_lob_a01))

arc(r_0059_0003__is,r_0059_0004__ready,scope).
arc(r_0059_0004__ready,r_0059_0006__get,scope).
arc(r_0059_0006__get,r_0059_0001__President_r_0059_0002__Kennedy,arg0).
arc(r_0059_0006__get,r_0059_0007__tough,prd).
arc(r_0059_0007__tough,r_0059_0012__cash_r_0059_0013__offer,r_0059_0008__over).
arc(r_0059_0012__cash_r_0059_0013__offer,r_0059_0009__West_r_0059_0010__Germany,gen).
arc(r_0059_0012__cash_r_0059_0013__offer,r_0059_0015__help,emb).
arc(r_0059_0015__help,r_0059_0018__balance,arg1).
arc(r_0059_0015__help,z_0059_5007,arg0).
arc(r_0059_0018__balance,r_0059_0016__America,gen).
arc(r_0059_0018__balance,r_0059_0020__payments_r_0059_0021__position,r_0059_0019__of).

fof(formula,axiom,
    ? [R_0059_0001__PRESIDENT_R_0059_0002__KENNEDY,R_0059_0009__WEST_R_0059_0010__GERMANY,R_0059_0016__AMERICA,R_0059_0020__PAYMENTS_R_0059_0021__POSITION,R_0059_0018__BALANCE,Z_0059_5007,R_0059_0015__HELP,R_0059_0012__CASH_R_0059_0013__OFFER,R_0059_0007__TOUGH,R_0059_0003__IS_R_0059_0004__READY_R_0059_0006__GET] :
      ( r_0059_0001__President_r_0059_0002__Kennedy(R_0059_0001__PRESIDENT_R_0059_0002__KENNEDY)
      & r_0059_0009__West_r_0059_0010__Germany(R_0059_0009__WEST_R_0059_0010__GERMANY)
      & r_0059_0016__America(R_0059_0016__AMERICA)
      & r_0059_0020__payments_r_0059_0021__position(R_0059_0020__PAYMENTS_R_0059_0021__POSITION)
      & z_0059_5007(Z_0059_5007)
      & r_0059_0003__is_r_0059_0004__ready_r_0059_0006__get(R_0059_0003__IS_R_0059_0004__READY_R_0059_0006__GET)
      & has_prd(R_0059_0003__IS_R_0059_0004__READY_R_0059_0006__GET,R_0059_0007__TOUGH)
      & r_0059_0007__tough(R_0059_0007__TOUGH)
      & has_r_0059_0008__over(R_0059_0007__TOUGH,R_0059_0012__CASH_R_0059_0013__OFFER)
      & r_0059_0012__cash_r_0059_0013__offer(R_0059_0012__CASH_R_0059_0013__OFFER)
      & has_emb(R_0059_0012__CASH_R_0059_0013__OFFER,R_0059_0015__HELP)
      & r_0059_0015__help(R_0059_0015__HELP)
      & has_arg0(R_0059_0015__HELP,Z_0059_5007)
      & has_arg1(R_0059_0015__HELP,R_0059_0018__BALANCE)
      & r_0059_0018__balance(R_0059_0018__BALANCE)
      & has_r_0059_0019__of(R_0059_0018__BALANCE,R_0059_0020__PAYMENTS_R_0059_0021__POSITION)
      & has_gen(R_0059_0018__BALANCE,R_0059_0016__AMERICA)
      & has_gen(R_0059_0012__CASH_R_0059_0013__OFFER,R_0059_0009__WEST_R_0059_0010__GERMANY)
      & has_arg0(R_0059_0003__IS_R_0059_0004__READY_R_0059_0006__GET,R_0059_0001__PRESIDENT_R_0059_0002__KENNEDY) ) ).