Context                Previous, Next                Top


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

%3 utterance_233_a_dick_1952_4 [utterance] r_0233_0004__have have utterance_233_a_dick_1952_4->r_0233_0004__have [part1] 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_0008__itself itself r_0233_0005__seen->r_0233_0008__itself [nim] r_0233_0012__said said r_0233_0012__said->utterance_233_a_dick_1952_4 [arg1] r_0233_0011__Tance Tance r_0233_0012__said->r_0233_0011__Tance [arg0] 
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).


%3 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] r_0233_0004__have_r_0233_0005__seen have seen utterance_233_a_dick_1952_4->r_0233_0004__have_r_0233_0005__seen [part1] r_0233_0008__itself itself r_0233_0004__have_r_0233_0005__seen->r_0233_0008__itself [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_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] 
fof(formula,axiom,
    ? [R_0233_0003__PROBABLY,R_0233_0002__THEY,R_0233_0006__THE_R_0233_0007__SHIP,R_0233_0008__ITSELF,R_0233_0004__HAVE_R_0233_0005__SEEN,UTTERANCE_233_A_DICK_1952_4,R_0233_0011__TANCE,R_0233_0012__SAID] :
      ( r_0233_0002__They(R_0233_0002__THEY)
      & r_0233_0003__probably(R_0233_0003__PROBABLY)
      & r_0233_0006__the_r_0233_0007__ship(R_0233_0006__THE_R_0233_0007__SHIP)
      & r_0233_0008__itself(R_0233_0008__ITSELF)
      & r_0233_0011__Tance(R_0233_0011__TANCE)
      & r_0233_0012__said(R_0233_0012__SAID)
      & has_arg0(R_0233_0012__SAID,R_0233_0011__TANCE)
      & has_arg1(R_0233_0012__SAID,UTTERANCE_233_A_DICK_1952_4)
      & utterance_233_a_dick_1952_4(UTTERANCE_233_A_DICK_1952_4)
      & has_part1(UTTERANCE_233_A_DICK_1952_4,R_0233_0004__HAVE_R_0233_0005__SEEN)
      & r_0233_0004__have_r_0233_0005__seen(R_0233_0004__HAVE_R_0233_0005__SEEN)
      & has_nim22(R_0233_0004__HAVE_R_0233_0005__SEEN,R_0233_0008__ITSELF)
      & has_arg1(R_0233_0004__HAVE_R_0233_0005__SEEN,R_0233_0006__THE_R_0233_0007__SHIP)
      & has_arg0(R_0233_0004__HAVE_R_0233_0005__SEEN,R_0233_0002__THEY)
      & has_nim9(R_0233_0004__HAVE_R_0233_0005__SEEN,R_0233_0003__PROBABLY) ) ).


n233_a_dick_1952 n233_a_dick_1952__1_1_1 <ldquo> n233_a_dick_1952__1_2_1_1_1_1 They n233_a_dick_1952__1_2_1_2_1_1 probably n233_a_dick_1952__1_2_1_3_1 have n233_a_dick_1952__1_2_1_4_1_1 seen n233_a_dick_1952__1_2_1_4_2_1_1 the n233_a_dick_1952__1_2_1_4_2_2_1 ship n233_a_dick_1952__1_2_1_4_3_1_1 itself n233_a_dick_1952__1_3_1 , n233_a_dick_1952__1_4_1 <rdquo> n233_a_dick_1952__1_5_1_1 Tance n233_a_dick_1952__1_6_1 said n233_a_dick_1952__1_7_1 . n233_a_dick_1952__1 IP-MAT n233_a_dick_1952__1_1 PULQ n233_a_dick_1952__1->n233_a_dick_1952__1_1 n233_a_dick_1952__1_2 utterance-OB1 n233_a_dick_1952__1->n233_a_dick_1952__1_2 n233_a_dick_1952__1_3 PUNC n233_a_dick_1952__1->n233_a_dick_1952__1_3 n233_a_dick_1952__1_4 PURQ n233_a_dick_1952__1->n233_a_dick_1952__1_4 n233_a_dick_1952__1_5 NP-SBJ n233_a_dick_1952__1->n233_a_dick_1952__1_5 n233_a_dick_1952__1_6 VBD;_Tr_ n233_a_dick_1952__1->n233_a_dick_1952__1_6 n233_a_dick_1952__1_7 PUNC n233_a_dick_1952__1->n233_a_dick_1952__1_7 n233_a_dick_1952__1_1->n233_a_dick_1952__1_1_1 n233_a_dick_1952__1_2_1 IP-MAT n233_a_dick_1952__1_2->n233_a_dick_1952__1_2_1 n233_a_dick_1952__1_2_1_1 NP-SBJ n233_a_dick_1952__1_2_1->n233_a_dick_1952__1_2_1_1 n233_a_dick_1952__1_2_1_2 ADVP-NIM n233_a_dick_1952__1_2_1->n233_a_dick_1952__1_2_1_2 n233_a_dick_1952__1_2_1_3 HVP;_cat_Ve_ n233_a_dick_1952__1_2_1->n233_a_dick_1952__1_2_1_3 n233_a_dick_1952__1_2_1_4 IP-PPL-CAT n233_a_dick_1952__1_2_1->n233_a_dick_1952__1_2_1_4 n233_a_dick_1952__1_2_1_1_1 PRO n233_a_dick_1952__1_2_1_1->n233_a_dick_1952__1_2_1_1_1 n233_a_dick_1952__1_2_1_1_1->n233_a_dick_1952__1_2_1_1_1_1 n233_a_dick_1952__1_2_1_2_1 ADV n233_a_dick_1952__1_2_1_2->n233_a_dick_1952__1_2_1_2_1 n233_a_dick_1952__1_2_1_2_1->n233_a_dick_1952__1_2_1_2_1_1 n233_a_dick_1952__1_2_1_3->n233_a_dick_1952__1_2_1_3_1 n233_a_dick_1952__1_2_1_4_1 VVN;_Tn_ n233_a_dick_1952__1_2_1_4->n233_a_dick_1952__1_2_1_4_1 n233_a_dick_1952__1_2_1_4_2 NP-OB1 n233_a_dick_1952__1_2_1_4->n233_a_dick_1952__1_2_1_4_2 n233_a_dick_1952__1_2_1_4_3 NP-RFL n233_a_dick_1952__1_2_1_4->n233_a_dick_1952__1_2_1_4_3 n233_a_dick_1952__1_2_1_4_1->n233_a_dick_1952__1_2_1_4_1_1 n233_a_dick_1952__1_2_1_4_2_1 D n233_a_dick_1952__1_2_1_4_2->n233_a_dick_1952__1_2_1_4_2_1 n233_a_dick_1952__1_2_1_4_2_2 N n233_a_dick_1952__1_2_1_4_2->n233_a_dick_1952__1_2_1_4_2_2 n233_a_dick_1952__1_2_1_4_2_1->n233_a_dick_1952__1_2_1_4_2_1_1 n233_a_dick_1952__1_2_1_4_2_2->n233_a_dick_1952__1_2_1_4_2_2_1 n233_a_dick_1952__1_2_1_4_3_1 PNX n233_a_dick_1952__1_2_1_4_3->n233_a_dick_1952__1_2_1_4_3_1 n233_a_dick_1952__1_2_1_4_3_1->n233_a_dick_1952__1_2_1_4_3_1_1 n233_a_dick_1952__1_3->n233_a_dick_1952__1_3_1 n233_a_dick_1952__1_4->n233_a_dick_1952__1_4_1 n233_a_dick_1952__1_5_1 NPR n233_a_dick_1952__1_5->n233_a_dick_1952__1_5_1 n233_a_dick_1952__1_5_1->n233_a_dick_1952__1_5_1_1 n233_a_dick_1952__1_6->n233_a_dick_1952__1_6_1 n233_a_dick_1952__1_7->n233_a_dick_1952__1_7_1 
( (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))