233_a_dick_1952
“They probably have seen the ship itself,” Tance said.

%3 r_0233_0004__have have r_0233_0003__probably probably r_0233_0004__have->r_0233_0003__probably [nim] r_0233_0005__seen seen r_0233_0004__have->r_0233_0005__seen [scope] r_0233_0002__They They r_0233_0005__seen->r_0233_0002__They [arg0] r_0233_0006__the_r_0233_0007__ship the ship r_0233_0005__seen->r_0233_0006__the_r_0233_0007__ship [arg1] r_0233_0005__seen->r_0233_0006__the_r_0233_0007__ship [nim] r_0233_0012__said said r_0233_0011__Tance Tance r_0233_0012__said->r_0233_0011__Tance [arg0] utterance_233_a_dick_1952_4 [utterance] r_0233_0012__said->utterance_233_a_dick_1952_4 [arg1] 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_0006__the_r_0233_0007__ship, nim22).
arc(r_0233_0012__said, r_0233_0011__Tance, arg0).
arc(r_0233_0012__said, utterance_233_a_dick_1952_4, arg1).
arc(utterance_233_a_dick_1952_4, r_0233_0004__have, part1).



%3 r_0233_0004__have_r_0233_0005__seen have seen r_0233_0002__They They r_0233_0004__have_r_0233_0005__seen->r_0233_0002__They [arg0] r_0233_0003__probably probably r_0233_0004__have_r_0233_0005__seen->r_0233_0003__probably [nim] r_0233_0006__the_r_0233_0007__ship the ship r_0233_0004__have_r_0233_0005__seen->r_0233_0006__the_r_0233_0007__ship [arg1] r_0233_0004__have_r_0233_0005__seen->r_0233_0006__the_r_0233_0007__ship [nim] r_0233_0012__said said r_0233_0011__Tance Tance r_0233_0012__said->r_0233_0011__Tance [arg0] utterance_233_a_dick_1952_4 [utterance] r_0233_0012__said->utterance_233_a_dick_1952_4 [arg1] utterance_233_a_dick_1952_4->r_0233_0004__have_r_0233_0005__seen [part1]
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_3_PROBABLY] :
      ( tance(R_233_11_TANCE)
      & they(R_233_2_THEY)
      & the_ship(R_233_6_THE_SHIP)
      & 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_6_THE_SHIP)
      & nim9(R_233_4_HAVE_SEEN,R_233_3_PROBABLY) ) ).



n233_a_dick_1952 n233_a_dick_1952_3 <ldquo> n233_a_dick_1952_8 They n233_a_dick_1952_11 probably n233_a_dick_1952_13 have n233_a_dick_1952_16 seen n233_a_dick_1952_19 the n233_a_dick_1952_21 ship n233_a_dick_1952_24 itself n233_a_dick_1952_26 , n233_a_dick_1952_28 <rdquo> n233_a_dick_1952_31 Tance n233_a_dick_1952_33 said n233_a_dick_1952_35 . n233_a_dick_1952_1 IP-MAT n233_a_dick_1952_2 PULQ n233_a_dick_1952_1->n233_a_dick_1952_2 n233_a_dick_1952_4 utterance-OB1 n233_a_dick_1952_1->n233_a_dick_1952_4 n233_a_dick_1952_25 PUNC n233_a_dick_1952_1->n233_a_dick_1952_25 n233_a_dick_1952_27 PURQ n233_a_dick_1952_1->n233_a_dick_1952_27 n233_a_dick_1952_29 NP-SBJ n233_a_dick_1952_1->n233_a_dick_1952_29 n233_a_dick_1952_32 VBD;_Tr_ n233_a_dick_1952_1->n233_a_dick_1952_32 n233_a_dick_1952_34 PUNC n233_a_dick_1952_1->n233_a_dick_1952_34 n233_a_dick_1952_2->n233_a_dick_1952_3 n233_a_dick_1952_5 IP-MAT n233_a_dick_1952_4->n233_a_dick_1952_5 n233_a_dick_1952_6 NP-SBJ n233_a_dick_1952_5->n233_a_dick_1952_6 n233_a_dick_1952_9 ADVP-NIM n233_a_dick_1952_5->n233_a_dick_1952_9 n233_a_dick_1952_12 HVP;_cat_Ve_ n233_a_dick_1952_5->n233_a_dick_1952_12 n233_a_dick_1952_14 IP-PPL-CAT n233_a_dick_1952_5->n233_a_dick_1952_14 n233_a_dick_1952_7 PRO n233_a_dick_1952_6->n233_a_dick_1952_7 n233_a_dick_1952_7->n233_a_dick_1952_8 n233_a_dick_1952_10 ADV n233_a_dick_1952_9->n233_a_dick_1952_10 n233_a_dick_1952_10->n233_a_dick_1952_11 n233_a_dick_1952_12->n233_a_dick_1952_13 n233_a_dick_1952_15 VVN;_Tn_ n233_a_dick_1952_14->n233_a_dick_1952_15 n233_a_dick_1952_17 NP-OB1 n233_a_dick_1952_14->n233_a_dick_1952_17 n233_a_dick_1952_22 NP-RFL n233_a_dick_1952_14->n233_a_dick_1952_22 n233_a_dick_1952_15->n233_a_dick_1952_16 n233_a_dick_1952_18 D n233_a_dick_1952_17->n233_a_dick_1952_18 n233_a_dick_1952_20 N n233_a_dick_1952_17->n233_a_dick_1952_20 n233_a_dick_1952_18->n233_a_dick_1952_19 n233_a_dick_1952_20->n233_a_dick_1952_21 n233_a_dick_1952_23 PNX n233_a_dick_1952_22->n233_a_dick_1952_23 n233_a_dick_1952_23->n233_a_dick_1952_24 n233_a_dick_1952_25->n233_a_dick_1952_26 n233_a_dick_1952_27->n233_a_dick_1952_28 n233_a_dick_1952_30 NPR n233_a_dick_1952_29->n233_a_dick_1952_30 n233_a_dick_1952_30->n233_a_dick_1952_31 n233_a_dick_1952_32->n233_a_dick_1952_33 n233_a_dick_1952_34->n233_a_dick_1952_35
( (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))