arc(utterance_233_a_dick_1952_4, r_0233_0004__have, part1).
arc(r_0233_0004__have, r_0233_0003__probably, nim9).
arc(r_0233_0004__have, r_0233_0005__seen, scope).
arc(r_0233_0005__seen, r_0233_0002__They, arg0).
arc(r_0233_0005__seen, r_0233_0006__the_r_0233_0007__ship, arg1).
arc(r_0233_0005__seen, r_0233_0008__itself, nim22).
arc(r_0233_0012__said, utterance_233_a_dick_1952_4, arg1).
arc(r_0233_0012__said, r_0233_0011__Tance, arg0).

fof(formula,axiom,
    ? [R_233_12_SAID,R_233_11_TANCE,UTTERANCE_233_A_DICK_1952_4,R_233_4_HAVE_SEEN,R_233_2_THEY,R_233_6_THE_SHIP,R_233_8_ITSELF,R_233_3_PROBABLY] :
      ( tance(R_233_11_TANCE)
      & they(R_233_2_THEY)
      & the_ship(R_233_6_THE_SHIP)
      & itself(R_233_8_ITSELF)
      & probably(R_233_3_PROBABLY)
      & said(R_233_12_SAID,R_233_11_TANCE,UTTERANCE_233_A_DICK_1952_4)
      & utterance_233_a_dick_1952_4(UTTERANCE_233_A_DICK_1952_4)
      & part1(UTTERANCE_233_A_DICK_1952_4,R_233_4_HAVE_SEEN)
      & have_seen(R_233_4_HAVE_SEEN,R_233_2_THEY,R_233_6_THE_SHIP)
      & nim22(R_233_4_HAVE_SEEN,R_233_8_ITSELF)
      & nim9(R_233_4_HAVE_SEEN,R_233_3_PROBABLY) ) ).

( (IP-MAT (PULQ <ldquo>)
          (utterance-OB1 (IP-MAT (NP-SBJ;{INHABITANTS} (PRO They;{they}))
                                 (ADVP-NIM (ADV probably;{probably}))
                                 (HVP;_cat_Ve_ have;{have})
                                 (IP-PPL-CAT (VVN;_Tn_ seen;{see})
                                             (NP-OB1;{SHIP} (D the;{the})
                                                            (N ship;{ship}))
                                             (NP-RFL;{SHIP} (PNX itself;{itself})))))
          (PUNC ,)
          (PURQ <rdquo>)
          (NP-SBJ;{TANCE} (NPR Tance;{Tance}))
          (VBD;_Tr_ said;{say})
          (PUNC .))
  (ID 233_a_dick_1952))