( (IP-MAT (CONJ;_cl_ But;{but})
          (NP-SBJ;{MACLEOD} (PRO he;{he}))
          (VBD;_Tr_ 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 34_a_lob_a01))

arc(r_0034_0003__told,r_0034_0002__he,arg0).
arc(r_0034_0003__told,r_0034_0004__MPs,arg2).
arc(r_0034_0003__told,r_0034_0005__yesterday,nim).
arc(r_0034_0003__told,z_0034_5003__utterance,arg1).
arc(r_0034_0009__have,r_0034_0002__he,arg0).
arc(r_0034_0009__have,r_0034_0011__knowledge,arg1).
arc(r_0034_0010__no__quant,r_0034_0009__have,scope).
arc(r_0034_0010__no__quant,r_0034_0011__knowledge,restriction).
arc(r_0034_0011__knowledge,r_0034_0014__negotiations,r_0034_0012__of).
arc(r_0034_0014__negotiations,r_0034_0013__secret,attrib).
arc(z_0034_5003__utterance,r_0034_0010__no__quant,part1).

fof(formula,axiom,
    ? [R_0034_0002__HE,R_0034_0004__MPS,R_0034_0005__YESTERDAY,Z_0034_5003__UTTERANCE,R_0034_0003__TOLD] :
      ( r_0034_0002__he(R_0034_0002__HE)
      & r_0034_0004__MPs(R_0034_0004__MPS)
      & r_0034_0005__yesterday(R_0034_0005__YESTERDAY)
      & r_0034_0003__told(R_0034_0003__TOLD)
      & has_arg1(R_0034_0003__TOLD,Z_0034_5003__UTTERANCE)
      & z_0034_5003__utterance(Z_0034_5003__UTTERANCE)
      & ! [R_0034_0011__KNOWLEDGE,R_0034_0013__SECRET,R_0034_0014__NEGOTIATIONS] :
          ( ( r_0034_0013__secret(R_0034_0013__SECRET)
            & r_0034_0011__knowledge(R_0034_0011__KNOWLEDGE)
            & has_r_0034_0012__of(R_0034_0011__KNOWLEDGE,R_0034_0014__NEGOTIATIONS)
            & r_0034_0014__negotiations(R_0034_0014__NEGOTIATIONS)
            & has_attrib(R_0034_0014__NEGOTIATIONS,R_0034_0013__SECRET) )
         => ? [R_0034_0009__HAVE] :
              ( r_0034_0009__have(R_0034_0009__HAVE)
              & has_arg1(R_0034_0009__HAVE,R_0034_0011__KNOWLEDGE)
              & has_arg0(R_0034_0009__HAVE,R_0034_0002__HE) ) )
      & has_nim(R_0034_0003__TOLD,R_0034_0005__YESTERDAY)
      & has_arg2(R_0034_0003__TOLD,R_0034_0004__MPS)
      & has_arg0(R_0034_0003__TOLD,R_0034_0002__HE) ) ).