Context                Previous, Next                Top


88_a_dick_1952
“So there is life here, after all,” he said, half to himself.

%3 r_0088_0003__there_r_0088_0004__is there is r_0088_0002__So So r_0088_0003__there_r_0088_0004__is->r_0088_0002__So [nim] r_0088_0005__life life r_0088_0003__there_r_0088_0004__is->r_0088_0005__life [arg0] r_0088_0006__here here r_0088_0003__there_r_0088_0004__is->r_0088_0006__here [nim] r_0088_0008__after_all after all r_0088_0003__there_r_0088_0004__is->r_0088_0008__after_all [nim] r_0088_0012__said said r_0088_0011__he he r_0088_0012__said->r_0088_0011__he [arg0] r_0088_0012__said->r_0088_0011__he half to [nim] utterance_88_a_dick_1952_4 [utterance] r_0088_0012__said->utterance_88_a_dick_1952_4 [arg1] utterance_88_a_dick_1952_4->r_0088_0003__there_r_0088_0004__is [part1] 
arc(r_0088_0003__there_r_0088_0004__is, r_0088_0002__So, nim6).
arc(r_0088_0003__there_r_0088_0004__is, r_0088_0005__life, arg0).
arc(r_0088_0003__there_r_0088_0004__is, r_0088_0006__here, nim16).
arc(r_0088_0003__there_r_0088_0004__is, r_0088_0008__after_all, nim21).
arc(r_0088_0012__said, r_0088_0011__he, arg0).
arc(r_0088_0012__said, r_0088_0011__he, r_0088_0014__half_r_0088_0015__to_nim40).
arc(r_0088_0012__said, utterance_88_a_dick_1952_4, arg1).
arc(utterance_88_a_dick_1952_4, r_0088_0003__there_r_0088_0004__is, part1).


%3 r_0088_0003__there_r_0088_0004__is there is r_0088_0002__So So r_0088_0003__there_r_0088_0004__is->r_0088_0002__So [nim] r_0088_0005__life life r_0088_0003__there_r_0088_0004__is->r_0088_0005__life [arg0] r_0088_0006__here here r_0088_0003__there_r_0088_0004__is->r_0088_0006__here [nim] r_0088_0008__after_all after all r_0088_0003__there_r_0088_0004__is->r_0088_0008__after_all [nim] r_0088_0012__said said r_0088_0011__he he r_0088_0012__said->r_0088_0011__he [arg0] r_0088_0012__said->r_0088_0011__he half to [nim] utterance_88_a_dick_1952_4 [utterance] r_0088_0012__said->utterance_88_a_dick_1952_4 [arg1] utterance_88_a_dick_1952_4->r_0088_0003__there_r_0088_0004__is [part1] 
fof(formula,axiom,
    ? [R_88_12_SAID,UTTERANCE_88_A_DICK_1952_4,R_88_3_THERE_IS,R_88_5_LIFE,R_88_6_HERE,R_88_8_AFTER_ALL,R_88_2_SO,R_88_11_HE] :
      ( life(R_88_5_LIFE)
      & here(R_88_6_HERE)
      & after_all(R_88_8_AFTER_ALL)
      & so(R_88_2_SO)
      & he(R_88_11_HE)
      & said(R_88_12_SAID,R_88_11_HE,UTTERANCE_88_A_DICK_1952_4)
      & utterance_88_a_dick_1952_4(UTTERANCE_88_A_DICK_1952_4)
      & part1(UTTERANCE_88_A_DICK_1952_4,R_88_3_THERE_IS)
      & there_is(R_88_3_THERE_IS,R_88_5_LIFE)
      & nim16(R_88_3_THERE_IS,R_88_6_HERE)
      & nim21(R_88_3_THERE_IS,R_88_8_AFTER_ALL)
      & nim6(R_88_3_THERE_IS,R_88_2_SO)
      & half_to_nim40(R_88_12_SAID,R_88_11_HE) ) ).


n88_a_dick_1952 n88_a_dick_1952_3 <ldquo> n88_a_dick_1952_8 So n88_a_dick_1952_10 there n88_a_dick_1952_12 is n88_a_dick_1952_15 life n88_a_dick_1952_18 here n88_a_dick_1952_20 , n88_a_dick_1952_23 after_all n88_a_dick_1952_25 , n88_a_dick_1952_27 <rdquo> n88_a_dick_1952_30 he n88_a_dick_1952_32 said n88_a_dick_1952_34 , n88_a_dick_1952_37 half n88_a_dick_1952_39 to n88_a_dick_1952_42 himself n88_a_dick_1952_44 . n88_a_dick_1952_1 IP-MAT n88_a_dick_1952_2 PULQ n88_a_dick_1952_1->n88_a_dick_1952_2 n88_a_dick_1952_4 utterance-OB1 n88_a_dick_1952_1->n88_a_dick_1952_4 n88_a_dick_1952_26 PURQ n88_a_dick_1952_1->n88_a_dick_1952_26 n88_a_dick_1952_28 NP-SBJ n88_a_dick_1952_1->n88_a_dick_1952_28 n88_a_dick_1952_31 VBD;_Tr_ n88_a_dick_1952_1->n88_a_dick_1952_31 n88_a_dick_1952_33 PUNC n88_a_dick_1952_1->n88_a_dick_1952_33 n88_a_dick_1952_35 PP-NIM n88_a_dick_1952_1->n88_a_dick_1952_35 n88_a_dick_1952_43 PUNC n88_a_dick_1952_1->n88_a_dick_1952_43 n88_a_dick_1952_2->n88_a_dick_1952_3 n88_a_dick_1952_5 IP-MAT n88_a_dick_1952_4->n88_a_dick_1952_5 n88_a_dick_1952_6 ADVP-NIM n88_a_dick_1952_5->n88_a_dick_1952_6 n88_a_dick_1952_9 EX n88_a_dick_1952_5->n88_a_dick_1952_9 n88_a_dick_1952_11 BEP;_ex_Vp_ n88_a_dick_1952_5->n88_a_dick_1952_11 n88_a_dick_1952_13 NP-ESBJ n88_a_dick_1952_5->n88_a_dick_1952_13 n88_a_dick_1952_16 ADVP-NIM n88_a_dick_1952_5->n88_a_dick_1952_16 n88_a_dick_1952_19 PUNC n88_a_dick_1952_5->n88_a_dick_1952_19 n88_a_dick_1952_21 ADVP-NIM n88_a_dick_1952_5->n88_a_dick_1952_21 n88_a_dick_1952_24 PUNC n88_a_dick_1952_5->n88_a_dick_1952_24 n88_a_dick_1952_7 ADV n88_a_dick_1952_6->n88_a_dick_1952_7 n88_a_dick_1952_7->n88_a_dick_1952_8 n88_a_dick_1952_9->n88_a_dick_1952_10 n88_a_dick_1952_11->n88_a_dick_1952_12 n88_a_dick_1952_14 N n88_a_dick_1952_13->n88_a_dick_1952_14 n88_a_dick_1952_14->n88_a_dick_1952_15 n88_a_dick_1952_17 ADV n88_a_dick_1952_16->n88_a_dick_1952_17 n88_a_dick_1952_17->n88_a_dick_1952_18 n88_a_dick_1952_19->n88_a_dick_1952_20 n88_a_dick_1952_22 ADV n88_a_dick_1952_21->n88_a_dick_1952_22 n88_a_dick_1952_22->n88_a_dick_1952_23 n88_a_dick_1952_24->n88_a_dick_1952_25 n88_a_dick_1952_26->n88_a_dick_1952_27 n88_a_dick_1952_29 PRO n88_a_dick_1952_28->n88_a_dick_1952_29 n88_a_dick_1952_29->n88_a_dick_1952_30 n88_a_dick_1952_31->n88_a_dick_1952_32 n88_a_dick_1952_33->n88_a_dick_1952_34 n88_a_dick_1952_36 ADV n88_a_dick_1952_35->n88_a_dick_1952_36 n88_a_dick_1952_38 P-ROLE n88_a_dick_1952_35->n88_a_dick_1952_38 n88_a_dick_1952_40 NP n88_a_dick_1952_35->n88_a_dick_1952_40 n88_a_dick_1952_36->n88_a_dick_1952_37 n88_a_dick_1952_38->n88_a_dick_1952_39 n88_a_dick_1952_41 PNX n88_a_dick_1952_40->n88_a_dick_1952_41 n88_a_dick_1952_41->n88_a_dick_1952_42 n88_a_dick_1952_43->n88_a_dick_1952_44 
( (IP-MAT (PULQ <ldquo>)
          (utterance-OB1 (IP-MAT (ADVP-NIM (ADV So;{so}))
                                 (EX there;{there})
                                 (BEP;_ex_Vp_ is;{be})
                                 (NP-ESBJ (N life;{life}))
                                 (ADVP-NIM (ADV here;{here}))
                                 (PUNC ,)
                                 (ADVP-NIM (ADV after_all;{after_all}))
                                 (PUNC ,)))
          (PURQ <rdquo>)
          (NP-SBJ;{TANCE} (PRO he;{he}))
          (VBD;_Tr_ said;{say})
          (PUNC ,)
          (PP-NIM (ADV half;{half})
                  (P-ROLE to;{to})
                  (NP;{TANCE} (PNX himself;{himself})))
          (PUNC .))
  (ID 88_a_dick_1952))