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,
    ? [UTTERANCE_32_A_LOB_A01_19,R_0032_0002__HE,R_0032_0004__MPS,R_0032_0005__YESTERDAY,R_0032_0001__BUT_R_0032_0003__TOLD] :
      ( r_0032_0002__he(R_0032_0002__HE)
      & r_0032_0004__MPs(R_0032_0004__MPS)
      & r_0032_0005__yesterday(R_0032_0005__YESTERDAY)
      & r_0032_0001__But_r_0032_0003__told(R_0032_0001__BUT_R_0032_0003__TOLD)
      & has_nim12(R_0032_0001__BUT_R_0032_0003__TOLD,R_0032_0005__YESTERDAY)
      & has_arg2(R_0032_0001__BUT_R_0032_0003__TOLD,R_0032_0004__MPS)
      & has_arg0(R_0032_0001__BUT_R_0032_0003__TOLD,R_0032_0002__HE)
      & has_arg1(R_0032_0001__BUT_R_0032_0003__TOLD,UTTERANCE_32_A_LOB_A01_19)
      & utterance_32_a_lob_a01_19(UTTERANCE_32_A_LOB_A01_19)
      & ! [R_0032_0011__KNOWLEDGE,R_0032_0013__SECRET,R_0032_0014__NEGOTIATIONS] :
          ( ( r_0032_0013__secret(R_0032_0013__SECRET)
            & r_0032_0011__knowledge(R_0032_0011__KNOWLEDGE)
            & has_r_0032_0012__of(R_0032_0011__KNOWLEDGE,R_0032_0014__NEGOTIATIONS)
            & r_0032_0014__negotiations(R_0032_0014__NEGOTIATIONS)
            & has_attrib35(R_0032_0014__NEGOTIATIONS,R_0032_0013__SECRET) )
         => ? [R_0032_0009__HAVE] :
              ( r_0032_0009__have(R_0032_0009__HAVE)
              & has_arg1(R_0032_0009__HAVE,R_0032_0011__KNOWLEDGE)
              & has_arg0(R_0032_0009__HAVE,R_0032_0002__HE) ) ) ) ).

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