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,
    ? [R_459_10_MURMURED,R_459_9_HE,UTTERANCE_459_A_DICK_1952_4] :
      ( he(R_459_9_HE)
      & murmured(R_459_10_MURMURED,R_459_9_HE,UTTERANCE_459_A_DICK_1952_4)
      & ! [R_459_6_THESE] :
          ( these(R_459_6_THESE)
         => ? [R_459_4_ARE,R_459_2_WHAT,R_459_3_EXACTLY] :
              ( exactly(R_459_3_EXACTLY)
              & are(R_459_4_ARE,R_459_6_THESE,R_459_2_WHAT)
              & what(R_459_2_WHAT)
              & qual10(R_459_2_WHAT,R_459_3_EXACTLY) ) )
      & part1(PART1)
      & utterance_459_a_dick_1952_4(UTTERANCE_459_A_DICK_1952_4) ) ).

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