arc(utterance_71_a_dick_1952_4, r_0071_0004__nothing_quant, part1).
arc(r_0071_0002__There_r_0071_0003___apos_s, r_0071_0005__alive, prd).
arc(r_0071_0002__There_r_0071_0003___apos_s, z_000_71_a_dick_1952_10, arg0).
arc(r_0071_0004__nothing_quant, r_0071_0002__There_r_0071_0003___apos_s, scope).
arc(r_0071_0004__nothing_quant, z_000_71_a_dick_1952_10, restriction).
arc(r_0071_0010__said, utterance_71_a_dick_1952_4, arg1).
arc(r_0071_0010__said, r_0071_0008__the_r_0071_0009__Captain, arg0).
arc(r_0071_0010__said, r_0071_0011__at_last, nim27).

fof(formula,axiom,
    ? [UTTERANCE_71_A_DICK_1952_4,R_0071_0008__THE_R_0071_0009__CAPTAIN,R_0071_0011__AT_LAST,R_0071_0010__SAID] :
      ( r_0071_0008__the_r_0071_0009__Captain(R_0071_0008__THE_R_0071_0009__CAPTAIN)
      & r_0071_0011__at_last(R_0071_0011__AT_LAST)
      & r_0071_0010__said(R_0071_0010__SAID)
      & has_nim27(R_0071_0010__SAID,R_0071_0011__AT_LAST)
      & has_arg0(R_0071_0010__SAID,R_0071_0008__THE_R_0071_0009__CAPTAIN)
      & has_arg1(R_0071_0010__SAID,UTTERANCE_71_A_DICK_1952_4)
      & utterance_71_a_dick_1952_4(UTTERANCE_71_A_DICK_1952_4)
      & ! [Z_000_71_A_DICK_1952_10] :
          ( z_000_71_a_dick_1952_10(Z_000_71_A_DICK_1952_10)
         => ? [R_0071_0005__ALIVE,R_0071_0002__THERE_R_0071_0003___APOS_S] :
              ( r_0071_0005__alive(R_0071_0005__ALIVE)
              & r_0071_0002__There_r_0071_0003___apos_s(R_0071_0002__THERE_R_0071_0003___APOS_S)
              & has_arg0(R_0071_0002__THERE_R_0071_0003___APOS_S,Z_000_71_A_DICK_1952_10)
              & has_prd(R_0071_0002__THERE_R_0071_0003___APOS_S,R_0071_0005__ALIVE) ) ) ) ).

( (IP-MAT (PULQ <ldquo>)
          (utterance-OB1 (IP-MAT (EX There;{there})
                                 (BEP;_ex_La_ <apos>s;{be})
                                 (NP-ESBJ (Q;_nphd_ nothing;{nothing}))
                                 (ADJP-PRD (ADJ alive;{alive}))))
          (PUNC ,)
          (PURQ <rdquo>)
          (NP-SBJ;{CAPTAIN} (D the;{the})
                            (N Captain;{captain}))
          (VBD;_Tr_ said;{say})
          (ADVP-NIM (ADV at_last;{at_last}))
          (PUNC .))
  (ID 71_a_dick_1952))