32_a_lob_a01
But he told MPs yesterday: ‘I have no knowledge of secret negotiations.’
arc(utterance_32_a_lob_a01_19, r_0032_0010__no_quant, part1).
arc(r_0032_0001__But_r_0032_0003__told, utterance_32_a_lob_a01_19, arg1).
arc(r_0032_0001__But_r_0032_0003__told, r_0032_0002__he, arg0).
arc(r_0032_0001__But_r_0032_0003__told, r_0032_0004__MPs, arg2).
arc(r_0032_0001__But_r_0032_0003__told, r_0032_0005__yesterday, nim12).
arc(r_0032_0009__have, r_0032_0002__he, arg0).
arc(r_0032_0009__have, r_0032_0011__knowledge, arg1).
arc(r_0032_0010__no_quant, r_0032_0009__have, scope).
arc(r_0032_0010__no_quant, r_0032_0011__knowledge, restriction).
arc(r_0032_0011__knowledge, r_0032_0014__negotiations, r_0032_0012__of).
arc(r_0032_0014__negotiations, r_0032_0013__secret, attrib35).
fof(formula,axiom,
? [R_32_1_BUT_TOLD,R_32_2_HE,UTTERANCE_32_A_LOB_A01_19,R_32_4_MPS,R_32_5_YESTERDAY] :
( he(R_32_2_HE)
& mPs(R_32_4_MPS)
& yesterday(R_32_5_YESTERDAY)
& but_told(R_32_1_BUT_TOLD,R_32_2_HE,UTTERANCE_32_A_LOB_A01_19,R_32_4_MPS)
& ! [R_32_11_KNOWLEDGE,R_32_14_NEGOTIATIONS,R_32_13_SECRET] :
( ( secret(R_32_13_SECRET)
& knowledge(R_32_11_KNOWLEDGE)
& of(R_32_11_KNOWLEDGE,R_32_14_NEGOTIATIONS)
& negotiations(R_32_14_NEGOTIATIONS)
& attrib35(R_32_14_NEGOTIATIONS,R_32_13_SECRET) )
=> ? [R_32_9_HAVE] : have(R_32_9_HAVE,R_32_2_HE,R_32_11_KNOWLEDGE) )
& part1(PART1)
& utterance_32_a_lob_a01_19(UTTERANCE_32_A_LOB_A01_19)
& nim12(R_32_1_BUT_TOLD,R_32_5_YESTERDAY) ) ).
( (IP-MAT (CONJ;_cl_ But;{but})
(NP-SBJ;{MACLEOD} (PRO he;{he}))
(VBD;_Dn.r_ told;{tell})
(NP-OB2 (NS MPs;{mp}))
(ADVP-NIM (ADV yesterday;{yesterday}))
(PUNC :)
(PULQ <lquo>)
(utterance-OB1 (IP-MAT (NP-SBJ;{MACLEOD} (PRO I;{I}))
(HVP;_Tn_ have;{have})
(NP-OB1 (Q no;{no})
(N knowledge;{knowledge})
(PP (P-ROLE of;{of})
(NP (ADJP (ADJ secret;{secret}))
(NS negotiations;{negotiation}))))
(PUNC .)))
(PURQ <rquo>))
(ID 32_a_lob_a01))