arc(utterance_276_a_dick_1952_4, r_0276_0004__nothing_quant, part1).
arc(r_0276_0002__There_r_0276_0003___apos_s, r_0276_0005__there, clr13).
arc(r_0276_0002__There_r_0276_0003___apos_s, z_000_276_a_dick_1952_10, arg0).
arc(r_0276_0004__nothing_quant, r_0276_0002__There_r_0276_0003___apos_s, scope).
arc(r_0276_0004__nothing_quant, z_000_276_a_dick_1952_10, restriction).
arc(r_0276_0009__said, utterance_276_a_dick_1952_4, arg1).
arc(r_0276_0009__said, r_0276_0008__Dorle, arg0).
arc(r_0276_0009__said, r_0276_0010__impatiently, nim25).

fof(formula,axiom,
    ? [R_276_9_SAID,R_276_8_DORLE,UTTERANCE_276_A_DICK_1952_4,R_276_10_IMPATIENTLY] :
      ( dorle(R_276_8_DORLE)
      & impatiently(R_276_10_IMPATIENTLY)
      & said(R_276_9_SAID,R_276_8_DORLE,UTTERANCE_276_A_DICK_1952_4)
      & ! [Z_276_A_DICK_1952_10] :
          ( true
         => ? [R_276_2_THERE_APOS_S,R_276_5_THERE] :
              ( there(R_276_5_THERE)
              & there_apos_s(R_276_2_THERE_APOS_S,Z_276_A_DICK_1952_10)
              & clr13(R_276_2_THERE_APOS_S,R_276_5_THERE) ) )
      & part1(PART1)
      & utterance_276_a_dick_1952_4(UTTERANCE_276_A_DICK_1952_4)
      & nim25(R_276_9_SAID,R_276_10_IMPATIENTLY) ) ).

( (IP-MAT (PULQ <ldquo>)
          (utterance-OB1 (IP-MAT (EX There;{there})
                                 (BEP;_ex_Vp_ <apos>s;{be})
                                 (NP-ESBJ (Q;_nphd_ nothing;{nothing}))
                                 (ADVP-CLR (ADV there;{there}))))
          (PUNC ,)
          (PURQ <rdquo>)
          (NP-SBJ;{DORLE} (NPR Dorle;{Dorle}))
          (VBD;_Tr_ said;{say})
          (ADVP-NIM (ADV impatiently;{impatiently}))
          (PUNC .))
  (ID 276_a_dick_1952))