arc(utterance_368_a_dick_1952_4, r_0368_0002__And_r_0368_0007___apos_ll, part1).
arc(r_0368_0002__And_r_0368_0007___apos_ll, r_0368_0004__that_r_0368_0005__time, r_0368_0003__by_nim11).
arc(r_0368_0002__And_r_0368_0007___apos_ll, r_0368_0008__be, scope).
arc(r_0368_0008__be, r_0368_0006__we, arg0).
arc(r_0368_0008__be, r_0368_0009__dead, prd).
arc(r_0368_0013__said, utterance_368_a_dick_1952_4, arg1).
arc(r_0368_0013__said, r_0368_0012__Nasha, arg0).
arc(r_0368_0013__said, r_0368_0014__bitterly, nim36).

fof(formula,axiom,
    ? [R_368_13_SAID,R_368_12_NASHA,UTTERANCE_368_A_DICK_1952_4,R_368_2_AND_APOS_LL_BE,R_368_6_WE,R_368_9_DEAD,R_368_4_THAT_TIME,R_368_14_BITTERLY] :
      ( nasha(R_368_12_NASHA)
      & we(R_368_6_WE)
      & dead(R_368_9_DEAD)
      & that_time(R_368_4_THAT_TIME)
      & bitterly(R_368_14_BITTERLY)
      & said(R_368_13_SAID,R_368_12_NASHA,UTTERANCE_368_A_DICK_1952_4)
      & utterance_368_a_dick_1952_4(UTTERANCE_368_A_DICK_1952_4)
      & part1(UTTERANCE_368_A_DICK_1952_4,R_368_2_AND_APOS_LL_BE)
      & and_apos_ll_be(R_368_2_AND_APOS_LL_BE,R_368_6_WE,R_368_9_DEAD)
      & by_nim11(R_368_2_AND_APOS_LL_BE,R_368_4_THAT_TIME)
      & nim36(R_368_13_SAID,R_368_14_BITTERLY) ) ).

( (IP-MAT (PULQ <ldquo>)
          (utterance-OB1 (IP-MAT (CONJ;_cl_ And;{and})
                                 (PP-NIM (P-ROLE by;{by})
                                         (NP (D that;{that})
                                             (N time;{time})))
                                 (NP-SBJ;{TRESPASSERS} (PRO we;{we}))
                                 (MD;_cat_Vi_ <apos>ll;{will})
                                 (IP-INF-CAT (BE;_La_ be;{be})
                                             (ADJP-PRD (ADJ dead;{dead})))))
          (PUNC ,)
          (PURQ <rdquo>)
          (NP-SBJ;{NASHA} (NPR Nasha;{Nasha}))
          (VBD;_Tr_ said;{say})
          (ADVP-NIM (ADV bitterly;{bitterly}))
          (PUNC .))
  (ID 368_a_dick_1952))