Context                Previous, Next                Top


71_a_dick_1952
“There's nothing alive,” the Captain said at last.

%3 r_0071_0002__There_r_0071_0003___apos_s There 's r_0071_0005__alive alive r_0071_0002__There_r_0071_0003___apos_s->r_0071_0005__alive [prd] z_000_71_a_dick_1952_10 r_0071_0002__There_r_0071_0003___apos_s->z_000_71_a_dick_1952_10 [arg0] r_0071_0004__nothing_quant nothing [quant] r_0071_0004__nothing_quant->r_0071_0002__There_r_0071_0003___apos_s [scope] r_0071_0004__nothing_quant->z_000_71_a_dick_1952_10 [restriction] r_0071_0010__said said r_0071_0008__the_r_0071_0009__Captain the Captain r_0071_0010__said->r_0071_0008__the_r_0071_0009__Captain [arg0] r_0071_0011__at_last at last r_0071_0010__said->r_0071_0011__at_last [nim] utterance_71_a_dick_1952_4 [utterance] r_0071_0010__said->utterance_71_a_dick_1952_4 [arg1] utterance_71_a_dick_1952_4->r_0071_0004__nothing_quant [part1] 
arc(r_0071_0002__There_r_0071_0003___apos_s, r_0071_0005__alive, prd).
arc(r_0071_0002__There_r_0071_0003___apos_s, z_000_71_a_dick_1952_10, arg0).
arc(r_0071_0004__nothing_quant, r_0071_0002__There_r_0071_0003___apos_s, scope).
arc(r_0071_0004__nothing_quant, z_000_71_a_dick_1952_10, restriction).
arc(r_0071_0010__said, r_0071_0008__the_r_0071_0009__Captain, arg0).
arc(r_0071_0010__said, r_0071_0011__at_last, nim27).
arc(r_0071_0010__said, utterance_71_a_dick_1952_4, arg1).
arc(utterance_71_a_dick_1952_4, r_0071_0004__nothing_quant, part1).


%3 r_0071_0002__There_r_0071_0003___apos_s There 's r_0071_0005__alive alive r_0071_0002__There_r_0071_0003___apos_s->r_0071_0005__alive [prd] z_000_71_a_dick_1952_10 r_0071_0002__There_r_0071_0003___apos_s->z_000_71_a_dick_1952_10 [arg0] r_0071_0004__nothing_quant nothing [quant] r_0071_0004__nothing_quant->r_0071_0002__There_r_0071_0003___apos_s [scope] r_0071_0004__nothing_quant->z_000_71_a_dick_1952_10 [restriction] r_0071_0010__said said r_0071_0008__the_r_0071_0009__Captain the Captain r_0071_0010__said->r_0071_0008__the_r_0071_0009__Captain [arg0] r_0071_0011__at_last at last r_0071_0010__said->r_0071_0011__at_last [nim] utterance_71_a_dick_1952_4 [utterance] r_0071_0010__said->utterance_71_a_dick_1952_4 [arg1] utterance_71_a_dick_1952_4->r_0071_0004__nothing_quant [part1] 
fof(formula,axiom,
    ? [R_71_10_SAID,R_71_8_THE_CAPTAIN,UTTERANCE_71_A_DICK_1952_4,R_71_11_AT_LAST] :
      ( the_Captain(R_71_8_THE_CAPTAIN)
      & at_last(R_71_11_AT_LAST)
      & said(R_71_10_SAID,R_71_8_THE_CAPTAIN,UTTERANCE_71_A_DICK_1952_4)
      & ! [Z_71_A_DICK_1952_10] :
          ( true
         => ? [R_71_2_THERE_APOS_S,R_71_5_ALIVE] :
              ( alive(R_71_5_ALIVE)
              & there_apos_s(R_71_2_THERE_APOS_S,Z_71_A_DICK_1952_10,R_71_5_ALIVE) ) )
      & part1(PART1)
      & utterance_71_a_dick_1952_4(UTTERANCE_71_A_DICK_1952_4)
      & nim27(R_71_10_SAID,R_71_11_AT_LAST) ) ).


n71_a_dick_1952 n71_a_dick_1952_3 <ldquo> n71_a_dick_1952_7 There n71_a_dick_1952_9 's n71_a_dick_1952_12 nothing n71_a_dick_1952_15 alive n71_a_dick_1952_17 , n71_a_dick_1952_19 <rdquo> n71_a_dick_1952_22 the n71_a_dick_1952_24 Captain n71_a_dick_1952_26 said n71_a_dick_1952_29 at_last n71_a_dick_1952_31 . n71_a_dick_1952_1 IP-MAT n71_a_dick_1952_2 PULQ n71_a_dick_1952_1->n71_a_dick_1952_2 n71_a_dick_1952_4 utterance-OB1 n71_a_dick_1952_1->n71_a_dick_1952_4 n71_a_dick_1952_16 PUNC n71_a_dick_1952_1->n71_a_dick_1952_16 n71_a_dick_1952_18 PURQ n71_a_dick_1952_1->n71_a_dick_1952_18 n71_a_dick_1952_20 NP-SBJ n71_a_dick_1952_1->n71_a_dick_1952_20 n71_a_dick_1952_25 VBD;_Tr_ n71_a_dick_1952_1->n71_a_dick_1952_25 n71_a_dick_1952_27 ADVP-NIM n71_a_dick_1952_1->n71_a_dick_1952_27 n71_a_dick_1952_30 PUNC n71_a_dick_1952_1->n71_a_dick_1952_30 n71_a_dick_1952_2->n71_a_dick_1952_3 n71_a_dick_1952_5 IP-MAT n71_a_dick_1952_4->n71_a_dick_1952_5 n71_a_dick_1952_6 EX n71_a_dick_1952_5->n71_a_dick_1952_6 n71_a_dick_1952_8 BEP;_ex_La_ n71_a_dick_1952_5->n71_a_dick_1952_8 n71_a_dick_1952_10 NP-ESBJ n71_a_dick_1952_5->n71_a_dick_1952_10 n71_a_dick_1952_13 ADJP-PRD n71_a_dick_1952_5->n71_a_dick_1952_13 n71_a_dick_1952_6->n71_a_dick_1952_7 n71_a_dick_1952_8->n71_a_dick_1952_9 n71_a_dick_1952_11 Q;_nphd_ n71_a_dick_1952_10->n71_a_dick_1952_11 n71_a_dick_1952_11->n71_a_dick_1952_12 n71_a_dick_1952_14 ADJ n71_a_dick_1952_13->n71_a_dick_1952_14 n71_a_dick_1952_14->n71_a_dick_1952_15 n71_a_dick_1952_16->n71_a_dick_1952_17 n71_a_dick_1952_18->n71_a_dick_1952_19 n71_a_dick_1952_21 D n71_a_dick_1952_20->n71_a_dick_1952_21 n71_a_dick_1952_23 N n71_a_dick_1952_20->n71_a_dick_1952_23 n71_a_dick_1952_21->n71_a_dick_1952_22 n71_a_dick_1952_23->n71_a_dick_1952_24 n71_a_dick_1952_25->n71_a_dick_1952_26 n71_a_dick_1952_28 ADV n71_a_dick_1952_27->n71_a_dick_1952_28 n71_a_dick_1952_28->n71_a_dick_1952_29 n71_a_dick_1952_30->n71_a_dick_1952_31 
( (IP-MAT (PULQ <ldquo>)
          (utterance-OB1 (IP-MAT (EX There;{there})
                                 (BEP;_ex_La_ <apos>s;{be})
                                 (NP-ESBJ (Q;_nphd_ nothing;{nothing}))
                                 (ADJP-PRD (ADJ alive;{alive}))))
          (PUNC ,)
          (PURQ <rdquo>)
          (NP-SBJ;{CAPTAIN} (D the;{the})
                            (N Captain;{captain}))
          (VBD;_Tr_ said;{say})
          (ADVP-NIM (ADV at_last;{at_last}))
          (PUNC .))
  (ID 71_a_dick_1952))