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_0009_0005__ATOMIC,R_0009_0004__AN_R_0009_0006__FISSION,R_0009_0007__WE,X_000_9_A_DICK_1952_19,R_0009_0008__SAW,R_0009_0003__WAS_R_0009_0010__ALL_RIGHT,UTTERANCE_9_A_DICK_1952_4,R_0009_0013__HE,R_0009_0015__PRESENTLY,R_0009_0014__SAID] :
      ( r_0009_0005__atomic(R_0009_0005__ATOMIC)
      & r_0009_0007__we(R_0009_0007__WE)
      & r_0009_0013__he(R_0009_0013__HE)
      & r_0009_0015__presently(R_0009_0015__PRESENTLY)
      & x_000_9_a_dick_1952_19(X_000_9_A_DICK_1952_19)
      & r_0009_0014__said(R_0009_0014__SAID)
      & has_nim40(R_0009_0014__SAID,R_0009_0015__PRESENTLY)
      & has_arg0(R_0009_0014__SAID,R_0009_0013__HE)
      & has_arg1(R_0009_0014__SAID,UTTERANCE_9_A_DICK_1952_4)
      & utterance_9_a_dick_1952_4(UTTERANCE_9_A_DICK_1952_4)
      & has_part1(UTTERANCE_9_A_DICK_1952_4,R_0009_0003__WAS_R_0009_0010__ALL_RIGHT)
      & r_0009_0003__was_r_0009_0010__all_right(R_0009_0003__WAS_R_0009_0010__ALL_RIGHT)
      & has_prd(R_0009_0003__WAS_R_0009_0010__ALL_RIGHT,R_0009_0008__SAW)
      & r_0009_0008__saw(R_0009_0008__SAW)
      & has_arg1(R_0009_0008__SAW,X_000_9_A_DICK_1952_19)
      & has_arg0(R_0009_0008__SAW,R_0009_0007__WE)
      & has_arg0(R_0009_0003__WAS_R_0009_0010__ALL_RIGHT,R_0009_0004__AN_R_0009_0006__FISSION)
      & r_0009_0004__an_r_0009_0006__fission(R_0009_0004__AN_R_0009_0006__FISSION)
      & has_attrib14(R_0009_0004__AN_R_0009_0006__FISSION,R_0009_0005__ATOMIC) ) ).

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