TSPC 9_a_dick

9_a_dick_1952
“It was an atomic fission we saw, all right,” he said 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))

arc(r_0009_0003__was,r_0009_0004__an_r_0009_0006__fission,arg0).
arc(r_0009_0003__was,z_0009_5006,prd).
arc(r_0009_0004__an_r_0009_0006__fission,r_0009_0005__atomic,attrib).
arc(r_0009_0008__saw,r_0009_0007__we,arg0).
arc(r_0009_0008__saw,z_0009_5006,arg1).
arc(r_0009_0014__said,r_0009_0013__he,arg0).
arc(r_0009_0014__said,r_0009_0015__presently,nim).
arc(r_0009_0014__said,z_0009_5002__utterance,arg1).
arc(z_0009_5002__utterance,r_0009_0003__was,part1).

fof(formula,axiom,
    ? [R_0009_0007__WE,Z_0009_5006,R_0009_0008__SAW,R_0009_0013__HE,R_0009_0015__PRESENTLY,R_0009_0005__ATOMIC,R_0009_0004__AN_R_0009_0006__FISSION,R_0009_0003__WAS,Z_0009_5002__UTTERANCE,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)
      & z_0009_5006(Z_0009_5006)
      & r_0009_0014__said(R_0009_0014__SAID)
      & has_arg1(R_0009_0014__SAID,Z_0009_5002__UTTERANCE)
      & z_0009_5002__utterance(Z_0009_5002__UTTERANCE)
      & has_part1(Z_0009_5002__UTTERANCE,R_0009_0003__WAS)
      & r_0009_0003__was(R_0009_0003__WAS)
      & has_prd(R_0009_0003__WAS,Z_0009_5006)
      & has_arg0(R_0009_0003__WAS,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_attrib(R_0009_0004__AN_R_0009_0006__FISSION,R_0009_0005__ATOMIC)
      & has_nim(R_0009_0014__SAID,R_0009_0015__PRESENTLY)
      & has_arg0(R_0009_0014__SAID,R_0009_0013__HE)
      & r_0009_0008__saw(R_0009_0008__SAW)
      & has_arg1(R_0009_0008__SAW,Z_0009_5006)
      & has_arg0(R_0009_0008__SAW,R_0009_0007__WE) ) ).