TSPC 62_a_lob

62_a_lob_a01
He did not mention personal talks with Dr Adenauer, the West German Chancellor.

( (IP-MAT (NP-SBJ;{KENNEDY} (PRO He;{he}))
          (DOD did;{do})
          (NEG not;{not})
          (VB;_Tn_ mention;{mention})
          (NP-OB1 (ADJP (ADJ personal;{personal}))
                  (NS talks;{talk})
                  (PP (P-ROLE with;{with})
                      (NP (N Dr;{dr})
                          (NPR Adenauer;{Adenauer})
                          (PUNC ,)
                          (PRN (NP (D the;{the})
                                   (NPR West;{West})
                                   (ADJP (ADJ German;{german}))
                                   (N Chancellor;{chancellor}))))))
          (PUNC .))
  (ID 62_a_lob_a01))

arc(r_0062_0002__did_r_0062_0004__mention,r_0062_0001__He,arg0).
arc(r_0062_0002__did_r_0062_0004__mention,r_0062_0006__talks,arg1).
arc(r_0062_0003__not,r_0062_0002__did_r_0062_0004__mention,keep_scope).
arc(r_0062_0006__talks,r_0062_0005__personal,attrib).
arc(r_0062_0006__talks,r_0062_0008__Dr_r_0062_0009__Adenauer,r_0062_0007__with).
arc(r_0062_0011__the_r_0062_0012__West_r_0062_0014__Chancellor,r_0062_0013__German,attrib).
arc(z_0062_5005,r_0062_0008__Dr_r_0062_0009__Adenauer,arg0).
arc(z_0062_5005,r_0062_0011__the_r_0062_0012__West_r_0062_0014__Chancellor,prd).

fof(formula,axiom,
    ? [R_0062_0008__DR_R_0062_0009__ADENAUER,R_0062_0013__GERMAN,R_0062_0011__THE_R_0062_0012__WEST_R_0062_0014__CHANCELLOR,Z_0062_5005] :
      ( r_0062_0008__Dr_r_0062_0009__Adenauer(R_0062_0008__DR_R_0062_0009__ADENAUER)
      & r_0062_0013__German(R_0062_0013__GERMAN)
      & z_0062_5005(Z_0062_5005)
      & has_prd(Z_0062_5005,R_0062_0011__THE_R_0062_0012__WEST_R_0062_0014__CHANCELLOR)
      & r_0062_0011__the_r_0062_0012__West_r_0062_0014__Chancellor(R_0062_0011__THE_R_0062_0012__WEST_R_0062_0014__CHANCELLOR)
      & has_attrib(R_0062_0011__THE_R_0062_0012__WEST_R_0062_0014__CHANCELLOR,R_0062_0013__GERMAN)
      & has_arg0(Z_0062_5005,R_0062_0008__DR_R_0062_0009__ADENAUER)
      & ~ ? [R_0062_0001__HE,R_0062_0005__PERSONAL,R_0062_0006__TALKS,R_0062_0002__DID_R_0062_0004__MENTION] :
            ( r_0062_0001__He(R_0062_0001__HE)
            & r_0062_0005__personal(R_0062_0005__PERSONAL)
            & r_0062_0002__did_r_0062_0004__mention(R_0062_0002__DID_R_0062_0004__MENTION)
            & has_arg1(R_0062_0002__DID_R_0062_0004__MENTION,R_0062_0006__TALKS)
            & r_0062_0006__talks(R_0062_0006__TALKS)
            & has_r_0062_0007__with(R_0062_0006__TALKS,R_0062_0008__DR_R_0062_0009__ADENAUER)
            & has_attrib(R_0062_0006__TALKS,R_0062_0005__PERSONAL)
            & has_arg0(R_0062_0002__DID_R_0062_0004__MENTION,R_0062_0001__HE) ) ) ).