TSPC 81_a_lob

81_a_lob_a01
He claimed slackness in the Eisenhower administration had caused America to lag behind Russia in nuclear development.

( (IP-MAT (NP-SBJ;{KENNEDY} (PRO He;{he}))
          (VBD;_Tf_ claimed;{claim})
          (CP-THT-OB1 (IP-SUB (NP-SBJ (N slackness;{slackness})
                                      (PP (P-ROLE in;{in})
                                          (NP (D the;{the})
                                              (NPR Eisenhower;{Eisenhower})
                                              (N administration;{administration}))))
                              (HVD;_cat_Ve_ had;{have})
                              (IP-PPL-CAT (VVN;_Tnt_ caused;{cause})
                                          (NP-DOB1 (NPR America;{America}))
                                          (IP-INF-OB1 (TO to;{to})
                                                      (VB;_Ip_ lag;{lag[behind]})
                                                      (PP-CLR (P-ROLE behind;{behind})
                                                              (NP (NPR Russia;{Russia})))
                                                      (PP-NIM (P-ROLE in;{in})
                                                              (NP (ADJP (ADJ nuclear;{nuclear}))
                                                                  (N development;{development})))))))
          (PUNC .))
  (ID 81_a_lob_a01))

arc(r_0081_0002__claimed,r_0081_0001__He,arg0).
arc(r_0081_0002__claimed,r_0081_0008__had,arg1).
arc(r_0081_0003__slackness,r_0081_0005__the_r_0081_0006__Eisenhower_r_0081_0007__administration,r_0081_0004__in).
arc(r_0081_0008__had,r_0081_0009__caused,scope).
arc(r_0081_0009__caused,r_0081_0003__slackness,arg0).
arc(r_0081_0009__caused,r_0081_0012__lag,arg1).
arc(r_0081_0012__lag,r_0081_0010__America,arg0).
arc(r_0081_0012__lag,r_0081_0014__Russia,r_0081_0013__behind__clr).
arc(r_0081_0012__lag,r_0081_0017__development,r_0081_0015__in__nim).
arc(r_0081_0017__development,r_0081_0016__nuclear,attrib).

fof(formula,axiom,
    ? [R_0081_0001__HE,R_0081_0005__THE_R_0081_0006__EISENHOWER_R_0081_0007__ADMINISTRATION,R_0081_0003__SLACKNESS,R_0081_0010__AMERICA,R_0081_0014__RUSSIA,R_0081_0016__NUCLEAR,R_0081_0017__DEVELOPMENT,R_0081_0012__LAG,R_0081_0008__HAD_R_0081_0009__CAUSED,R_0081_0002__CLAIMED] :
      ( r_0081_0001__He(R_0081_0001__HE)
      & r_0081_0005__the_r_0081_0006__Eisenhower_r_0081_0007__administration(R_0081_0005__THE_R_0081_0006__EISENHOWER_R_0081_0007__ADMINISTRATION)
      & r_0081_0010__America(R_0081_0010__AMERICA)
      & r_0081_0014__Russia(R_0081_0014__RUSSIA)
      & r_0081_0016__nuclear(R_0081_0016__NUCLEAR)
      & r_0081_0002__claimed(R_0081_0002__CLAIMED)
      & has_arg1(R_0081_0002__CLAIMED,R_0081_0008__HAD_R_0081_0009__CAUSED)
      & r_0081_0008__had_r_0081_0009__caused(R_0081_0008__HAD_R_0081_0009__CAUSED)
      & has_arg1(R_0081_0008__HAD_R_0081_0009__CAUSED,R_0081_0012__LAG)
      & r_0081_0012__lag(R_0081_0012__LAG)
      & has_r_0081_0015__in__nim(R_0081_0012__LAG,R_0081_0017__DEVELOPMENT)
      & r_0081_0017__development(R_0081_0017__DEVELOPMENT)
      & has_attrib(R_0081_0017__DEVELOPMENT,R_0081_0016__NUCLEAR)
      & has_r_0081_0013__behind__clr(R_0081_0012__LAG,R_0081_0014__RUSSIA)
      & has_arg0(R_0081_0012__LAG,R_0081_0010__AMERICA)
      & has_arg0(R_0081_0008__HAD_R_0081_0009__CAUSED,R_0081_0003__SLACKNESS)
      & r_0081_0003__slackness(R_0081_0003__SLACKNESS)
      & has_r_0081_0004__in(R_0081_0003__SLACKNESS,R_0081_0005__THE_R_0081_0006__EISENHOWER_R_0081_0007__ADMINISTRATION)
      & has_arg0(R_0081_0002__CLAIMED,R_0081_0001__HE) ) ).