arc(utterance_9_a_dick_1952_4, r_0009_0003__was_r_0009_0010__all_right, part1).
arc(r_0009_0003__was_r_0009_0010__all_right, r_0009_0004__an_r_0009_0006__fission, arg0).
arc(r_0009_0003__was_r_0009_0010__all_right, r_0009_0008__saw, prd).
arc(r_0009_0004__an_r_0009_0006__fission, r_0009_0005__atomic, attrib14).
arc(r_0009_0008__saw, r_0009_0007__we, arg0).
arc(r_0009_0008__saw, x_000_9_a_dick_1952_19, arg1).
arc(r_0009_0014__said, utterance_9_a_dick_1952_4, arg1).
arc(r_0009_0014__said, r_0009_0013__he, arg0).
arc(r_0009_0014__said, r_0009_0015__presently, nim40).

fof(formula,axiom,
    ? [R_9_14_SAID,R_9_13_HE,UTTERANCE_9_A_DICK_1952_4,R_9_3_WAS_ALL_RIGHT,R_9_4_AN_FISSION,R_9_5_ATOMIC,R_9_8_SAW,R_9_7_WE,X_9_A_DICK_1952_19,R_9_15_PRESENTLY] :
      ( he(R_9_13_HE)
      & atomic(R_9_5_ATOMIC)
      & we(R_9_7_WE)
      & presently(R_9_15_PRESENTLY)
      & said(R_9_14_SAID,R_9_13_HE,UTTERANCE_9_A_DICK_1952_4)
      & utterance_9_a_dick_1952_4(UTTERANCE_9_A_DICK_1952_4)
      & part1(UTTERANCE_9_A_DICK_1952_4,R_9_3_WAS_ALL_RIGHT)
      & was_all_right(R_9_3_WAS_ALL_RIGHT,R_9_4_AN_FISSION,R_9_8_SAW)
      & an_fission(R_9_4_AN_FISSION)
      & attrib14(R_9_4_AN_FISSION,R_9_5_ATOMIC)
      & saw(R_9_8_SAW,R_9_7_WE,X_9_A_DICK_1952_19)
      & nim40(R_9_14_SAID,R_9_15_PRESENTLY) ) ).

( (IP-MAT (PULQ <ldquo>)
          (utterance-OB1 (IP-MAT (NP-SBJ (PRO;_provisional_ It;{it}))
                                 (BED;_cleft_Vn_ was;{be})
                                 (NP-FOC;{FISSION} (D an;{an})
                                                   (ADJP (ADJ atomic;{atomic}))
                                                   (N fission;{fission}))
                                 (IP-CLF (NP-OB1 *T*)
                                         (NP-SBJ;{TRESPASSERS} (PRO we;{we}))
                                         (VBD;_Tn_ saw;{see}))
                                 (PUNC ,)
                                 (REACT all_right)))
          (PUNC ,)
          (PURQ <rdquo>)
          (NP-SBJ;{CAPTAIN} (PRO he;{he}))
          (VBD;_Tr_ said;{say})
          (ADVP-NIM (ADV presently;{presently}))
          (PUNC .))
  (ID 9_a_dick_1952))