arc(utterance_459_a_dick_1952_4, r_0459_0005__all_quant, part1).
arc(r_0459_0002__What, r_0459_0003__exactly, qual10).
arc(r_0459_0004__are, r_0459_0002__What, prd).
arc(r_0459_0004__are, r_0459_0006__these, arg0).
arc(r_0459_0005__all_quant, r_0459_0004__are, scope).
arc(r_0459_0005__all_quant, r_0459_0006__these, restriction).
arc(r_0459_0010__murmured, utterance_459_a_dick_1952_4, arg1).
arc(r_0459_0010__murmured, r_0459_0009__he, arg0).

fof(formula,axiom,
    ? [UTTERANCE_459_A_DICK_1952_4,R_0459_0009__HE,R_0459_0010__MURMURED] :
      ( r_0459_0009__he(R_0459_0009__HE)
      & r_0459_0010__murmured(R_0459_0010__MURMURED)
      & has_arg0(R_0459_0010__MURMURED,R_0459_0009__HE)
      & has_arg1(R_0459_0010__MURMURED,UTTERANCE_459_A_DICK_1952_4)
      & utterance_459_a_dick_1952_4(UTTERANCE_459_A_DICK_1952_4)
      & ! [R_0459_0006__THESE] :
          ( r_0459_0006__these(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,R_0459_0006__THESE)
              & has_prd(R_0459_0004__ARE,R_0459_0002__WHAT)
              & r_0459_0002__What(R_0459_0002__WHAT)
              & has_qual10(R_0459_0002__WHAT,R_0459_0003__EXACTLY) ) ) ) ).

( (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})
                                                     (D;_nphd_ these;{these})))
                                     (PUNC ?)))
          (PURQ <rdquo>)
          (NP-SBJ;{TANCE} (PRO he;{he}))
          (VBD;_Tr_ murmured;{murmur})
          (PUNC .))
  (ID 459_a_dick_1952))