TSPC 76_a_lob

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

arc(r_0076_0005__Washington_r_0076_0006__press_r_0076_0007__conference, r_0076_0004__his, gen).
arc(r_0076_0008__admitted, r_0076_0001__President_r_0076_0002__Kennedy, arg0).
arc(r_0076_0008__admitted, r_0076_0005__Washington_r_0076_0006__press_r_0076_0007__conference, r_0076_0003__at_nim10).
arc(r_0076_0008__admitted, r_0076_0010__did_r_0076_0012__know, arg1).
arc(r_0076_0008__admitted, r_0076_0011__not, arg1).
arc(r_0076_0010__did_r_0076_0012__know, r_0076_0001__President_r_0076_0002__Kennedy, arg0).
arc(r_0076_0010__did_r_0076_0012__know, r_0076_0013__whether_r_0076_0015__was, arg1).
arc(r_0076_0011__not, r_0076_0010__did_r_0076_0012__know, keep_scope).
arc(r_0076_0013__whether_r_0076_0015__was, r_0076_0016__lagging, scope).
arc(r_0076_0016__lagging, r_0076_0014__America, arg0).
arc(r_0076_0016__lagging, r_0076_0018__Russia, r_0076_0017__behind_clr48).
arc(r_0076_0016__lagging, r_0076_0020__missile_r_0076_0021__power, r_0076_0019__in_nim54).

fof(formula,axiom,
    ? [R_0076_0001__PRESIDENT_R_0076_0002__KENNEDY,R_0076_0004__HIS,R_0076_0005__WASHINGTON_R_0076_0006__PRESS_R_0076_0007__CONFERENCE,R_0076_0014__AMERICA,R_0076_0018__RUSSIA,R_0076_0020__MISSILE_R_0076_0021__POWER,R_0076_0013__WHETHER_R_0076_0015__WAS_R_0076_0016__LAGGING,R_0076_0010__DID_R_0076_0012__KNOW,R_0076_0008__ADMITTED] :
      ( r_0076_0001__President_r_0076_0002__Kennedy(R_0076_0001__PRESIDENT_R_0076_0002__KENNEDY)
      & r_0076_0004__his(R_0076_0004__HIS)
      & r_0076_0014__America(R_0076_0014__AMERICA)
      & r_0076_0018__Russia(R_0076_0018__RUSSIA)
      & r_0076_0020__missile_r_0076_0021__power(R_0076_0020__MISSILE_R_0076_0021__POWER)
      & r_0076_0008__admitted(R_0076_0008__ADMITTED)
      & has_arg1(R_0076_0008__ADMITTED,R_0076_0011__NOT)
      & ~ r_0076_0010__did_r_0076_0012__know(R_0076_0010__DID_R_0076_0012__KNOW)
      & has_arg1(R_0076_0008__ADMITTED,R_0076_0010__DID_R_0076_0012__KNOW)
      & r_0076_0010__did_r_0076_0012__know(R_0076_0010__DID_R_0076_0012__KNOW)
      & has_arg1(R_0076_0010__DID_R_0076_0012__KNOW,R_0076_0013__WHETHER_R_0076_0015__WAS_R_0076_0016__LAGGING)
      & r_0076_0013__whether_r_0076_0015__was_r_0076_0016__lagging(R_0076_0013__WHETHER_R_0076_0015__WAS_R_0076_0016__LAGGING)
      & has_r_0076_0019__in_nim54(R_0076_0013__WHETHER_R_0076_0015__WAS_R_0076_0016__LAGGING,R_0076_0020__MISSILE_R_0076_0021__POWER)
      & has_r_0076_0017__behind_clr48(R_0076_0013__WHETHER_R_0076_0015__WAS_R_0076_0016__LAGGING,R_0076_0018__RUSSIA)
      & has_arg0(R_0076_0013__WHETHER_R_0076_0015__WAS_R_0076_0016__LAGGING,R_0076_0014__AMERICA)
      & has_arg0(R_0076_0010__DID_R_0076_0012__KNOW,R_0076_0001__PRESIDENT_R_0076_0002__KENNEDY)
      & has_r_0076_0003__at_nim10(R_0076_0008__ADMITTED,R_0076_0005__WASHINGTON_R_0076_0006__PRESS_R_0076_0007__CONFERENCE)
      & r_0076_0005__Washington_r_0076_0006__press_r_0076_0007__conference(R_0076_0005__WASHINGTON_R_0076_0006__PRESS_R_0076_0007__CONFERENCE)
      & has_gen(R_0076_0005__WASHINGTON_R_0076_0006__PRESS_R_0076_0007__CONFERENCE,R_0076_0004__HIS)
      & has_arg0(R_0076_0008__ADMITTED,R_0076_0001__PRESIDENT_R_0076_0002__KENNEDY) ) ).

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