TSPC 78_a_lob

78_a_lob_a01
President Kennedy at his Washington press conference admitted he did not know whether America was lagging behind Russia in missile power.

( (IP-MAT (NP-SBJ;{KENNEDY} (N President;{president})
                            (NPR Kennedy;{Kennedy}))
          (PP-NIM (P-ROLE at;{at})
                  (NP (NP-GEN;{KENNEDY} (PRO;_genm_ his;{his}))
                      (NPR Washington;{Washington})
                      (N press;{press})
                      (N conference;{conference})))
          (VBD;_Tf_ admitted;{admit})
          (CP-THT-OB1 (IP-SUB (NP-SBJ;{KENNEDY} (PRO he;{he}))
                              (DOD did;{do})
                              (NEG not;{not})
                              (VB;_Tw_ know;{know})
                              (CP-QUE-OB1 (IP-SUB (WQ whether;{whether})
                                                  (NP-SBJ (NPR America;{America}))
                                                  (BED;_cat_Vg_ was;{be})
                                                  (IP-PPL-CAT (VAG;_Ipr_ lagging;{lag[behind]})
                                                              (PP-CLR (P-ROLE behind;{behind})
                                                                      (NP (NPR Russia;{Russia})))
                                                              (PP-NIM (P-ROLE in;{in})
                                                                      (NP (N missile;{missile})
                                                                          (N power;{power}))))))))
          (PUNC .))
  (ID 78_a_lob_a01))

arc(r_0078_0005__Washington_r_0078_0006__press_r_0078_0007__conference,r_0078_0001__President_r_0078_0002__Kennedy,gen).
arc(r_0078_0008__admitted,r_0078_0001__President_r_0078_0002__Kennedy,arg0).
arc(r_0078_0008__admitted,r_0078_0005__Washington_r_0078_0006__press_r_0078_0007__conference,r_0078_0003__at__nim).
arc(r_0078_0008__admitted,r_0078_0011__not,arg1).
arc(r_0078_0010__did_r_0078_0012__know,r_0078_0001__President_r_0078_0002__Kennedy,arg0).
arc(r_0078_0010__did_r_0078_0012__know,r_0078_0013__whether,arg1).
arc(r_0078_0011__not,r_0078_0010__did_r_0078_0012__know,keep_scope).
arc(r_0078_0013__whether,r_0078_0015__was,keep_scope).
arc(r_0078_0015__was,r_0078_0016__lagging_r_0078_0017__behind,scope).
arc(r_0078_0016__lagging_r_0078_0017__behind,r_0078_0014__America,arg0).
arc(r_0078_0016__lagging_r_0078_0017__behind,r_0078_0018__Russia,arg1).
arc(r_0078_0016__lagging_r_0078_0017__behind,r_0078_0020__missile_r_0078_0021__power,r_0078_0019__in__nim).

fof(formula,axiom,
    ? [R_0078_0001__PRESIDENT_R_0078_0002__KENNEDY,R_0078_0005__WASHINGTON_R_0078_0006__PRESS_R_0078_0007__CONFERENCE,R_0078_0008__ADMITTED] :
      ( r_0078_0001__President_r_0078_0002__Kennedy(R_0078_0001__PRESIDENT_R_0078_0002__KENNEDY)
      & r_0078_0008__admitted(R_0078_0008__ADMITTED)
      & has_arg1(R_0078_0008__ADMITTED,R_0078_0011__NOT)
      & ~ ? [R_0078_0014__AMERICA,R_0078_0018__RUSSIA,R_0078_0020__MISSILE_R_0078_0021__POWER,R_0078_0015__WAS_R_0078_0016__LAGGING_R_0078_0017__BEHIND,R_0078_0013__WHETHER,R_0078_0010__DID_R_0078_0012__KNOW] :
            ( r_0078_0014__America(R_0078_0014__AMERICA)
            & r_0078_0018__Russia(R_0078_0018__RUSSIA)
            & r_0078_0020__missile_r_0078_0021__power(R_0078_0020__MISSILE_R_0078_0021__POWER)
            & r_0078_0010__did_r_0078_0012__know(R_0078_0010__DID_R_0078_0012__KNOW)
            & has_arg1(R_0078_0010__DID_R_0078_0012__KNOW,R_0078_0013__WHETHER)
            & r_0078_0013__whether(R_0078_0013__WHETHER)
            & has_keep_scope(R_0078_0013__WHETHER,R_0078_0015__WAS_R_0078_0016__LAGGING_R_0078_0017__BEHIND)
            & r_0078_0015__was_r_0078_0016__lagging_r_0078_0017__behind(R_0078_0015__WAS_R_0078_0016__LAGGING_R_0078_0017__BEHIND)
            & has_r_0078_0019__in__nim(R_0078_0015__WAS_R_0078_0016__LAGGING_R_0078_0017__BEHIND,R_0078_0020__MISSILE_R_0078_0021__POWER)
            & has_arg1(R_0078_0015__WAS_R_0078_0016__LAGGING_R_0078_0017__BEHIND,R_0078_0018__RUSSIA)
            & has_arg0(R_0078_0015__WAS_R_0078_0016__LAGGING_R_0078_0017__BEHIND,R_0078_0014__AMERICA)
            & has_arg0(R_0078_0010__DID_R_0078_0012__KNOW,R_0078_0001__PRESIDENT_R_0078_0002__KENNEDY) )
      & has_r_0078_0003__at__nim(R_0078_0008__ADMITTED,R_0078_0005__WASHINGTON_R_0078_0006__PRESS_R_0078_0007__CONFERENCE)
      & r_0078_0005__Washington_r_0078_0006__press_r_0078_0007__conference(R_0078_0005__WASHINGTON_R_0078_0006__PRESS_R_0078_0007__CONFERENCE)
      & has_gen(R_0078_0005__WASHINGTON_R_0078_0006__PRESS_R_0078_0007__CONFERENCE,R_0078_0001__PRESIDENT_R_0078_0002__KENNEDY)
      & has_arg0(R_0078_0008__ADMITTED,R_0078_0001__PRESIDENT_R_0078_0002__KENNEDY) ) ).