( (IP-MAT (PULQ <ldquo>)
          (utterance-OB1 (CP-QUE-MAT (IP-SUB (NP-PRD (WPRO What;{what})
                                                     (ADVP (ADV exactly;{exactly})))
                                             (BEP;_Ln_ are;{be})
                                             (NP-SBJ (Q;_nphd_ all;{all})
                                                     (NLYR (D;_nphd_ these;{these}))))
                                     (PUNC ?)))
          (PURQ <rdquo>)
          (NP-SBJ;{TANCE} (PRO he;{he}))
          (VBD;_Tr_ murmured;{murmur})
          (PUNC .))
  (ID 459_a_dick_1952))

arc(r_0459_0002__What,r_0459_0003__exactly,qual).
arc(r_0459_0004__are,r_0459_0002__What,prd).
arc(r_0459_0004__are,z_0459_5007,arg0).
arc(r_0459_0005__all__quant,r_0459_0004__are,scope).
arc(r_0459_0005__all__quant,z_0459_5007,restriction).
arc(r_0459_0010__murmured,r_0459_0009__he,arg0).
arc(r_0459_0010__murmured,z_0459_5002__utterance,arg1).
arc(z_0459_5002__utterance,r_0459_0005__all__quant,part1).
arc(z_0459_5007,r_0459_0006__these,nim).

fof(formula,axiom,
    ? [R_0459_0009__HE,Z_0459_5002__UTTERANCE,R_0459_0010__MURMURED] :
      ( r_0459_0009__he(R_0459_0009__HE)
      & r_0459_0010__murmured(R_0459_0010__MURMURED)
      & has_arg1(R_0459_0010__MURMURED,Z_0459_5002__UTTERANCE)
      & z_0459_5002__utterance(Z_0459_5002__UTTERANCE)
      & ! [Z_0459_5007,R_0459_0006__THESE] :
          ( ( r_0459_0006__these(R_0459_0006__THESE)
            & z_0459_5007(Z_0459_5007)
            & has_nim(Z_0459_5007,R_0459_0006__THESE) )
         => ? [R_0459_0003__EXACTLY,R_0459_0002__WHAT,R_0459_0004__ARE] :
              ( r_0459_0003__exactly(R_0459_0003__EXACTLY)
              & r_0459_0004__are(R_0459_0004__ARE)
              & has_arg0(R_0459_0004__ARE,Z_0459_5007)
              & has_prd(R_0459_0004__ARE,R_0459_0002__WHAT)
              & r_0459_0002__What(R_0459_0002__WHAT)
              & has_qual(R_0459_0002__WHAT,R_0459_0003__EXACTLY) ) )
      & has_arg0(R_0459_0010__MURMURED,R_0459_0009__HE) ) ).