60_a_lob_a01
He did not mention personal talks with Dr Adenauer, the West German Chancellor.
arc(r_0060_0002__did_r_0060_0004__mention, r_0060_0001__He, arg0).
arc(r_0060_0002__did_r_0060_0004__mention, r_0060_0006__talks, arg1).
arc(r_0060_0003__not, r_0060_0002__did_r_0060_0004__mention, keep_scope).
arc(r_0060_0006__talks, r_0060_0005__personal, attrib12).
arc(r_0060_0006__talks, r_0060_0008__Dr_r_0060_0009__Adenauer, r_0060_0007__with).
arc(r_0060_0011__the_r_0060_0012__West_r_0060_0014__Chancellor, r_0060_0013__German, attrib33).
arc(z_000_60_a_lob_a01_27, r_0060_0008__Dr_r_0060_0009__Adenauer, arg0).
arc(z_000_60_a_lob_a01_27, r_0060_0011__the_r_0060_0012__West_r_0060_0014__Chancellor, prd).
fof(formula,axiom,
? [Z_60_A_LOB_A01_27,R_60_8_DR_ADENAUER,R_60_11_THE_WEST_CHANCELLOR,R_60_13_GERMAN] :
( dr_Adenauer(R_60_8_DR_ADENAUER)
& german(R_60_13_GERMAN)
& ~ ? [R_60_2_DID_MENTION,R_60_1_HE,R_60_6_TALKS,R_60_5_PERSONAL] :
( he(R_60_1_HE)
& personal(R_60_5_PERSONAL)
& did_mention(R_60_2_DID_MENTION,R_60_1_HE,R_60_6_TALKS)
& talks(R_60_6_TALKS)
& attrib12(R_60_6_TALKS,R_60_5_PERSONAL)
& with(R_60_6_TALKS,R_60_8_DR_ADENAUER) )
& z_60_a_lob_a01_27(Z_60_A_LOB_A01_27,R_60_8_DR_ADENAUER,R_60_11_THE_WEST_CHANCELLOR)
& the_West_Chancellor(R_60_11_THE_WEST_CHANCELLOR)
& attrib33(R_60_11_THE_WEST_CHANCELLOR,R_60_13_GERMAN) ) ).
( (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 ,)
(IP-PPL (NP-PRD (D the;{the})
(NPR West;{West})
(ADJP (ADJ German;{german}))
(N Chancellor;{chancellor}))))))
(PUNC .))
(ID 60_a_lob_a01))