Context                Previous, Next                Top


176_a_dick_1952
By the end of the day - period of this planet he'll be dead.

n176_a_dick_1952 n176_a_dick_1952__1_1_1_1 By n176_a_dick_1952__1_1_2_1_1 the n176_a_dick_1952__1_1_2_2_1 end n176_a_dick_1952__1_1_2_3_1_1 of n176_a_dick_1952__1_1_2_3_2_1_1 the n176_a_dick_1952__1_1_2_3_2_2_1 day n176_a_dick_1952__1_1_2_3_2_3_1 - n176_a_dick_1952__1_1_2_3_2_4_1 period n176_a_dick_1952__1_1_2_3_2_5_1_1 of n176_a_dick_1952__1_1_2_3_2_5_2_1_1 this n176_a_dick_1952__1_1_2_3_2_5_2_2_1 planet n176_a_dick_1952__1_2_1_1 he n176_a_dick_1952__1_3_1 'll n176_a_dick_1952__1_4_1_1 be n176_a_dick_1952__1_4_2_1_1 dead n176_a_dick_1952__1_5_1 . n176_a_dick_1952__1 IP-MAT n176_a_dick_1952__1_1 PP-NIM n176_a_dick_1952__1->n176_a_dick_1952__1_1 n176_a_dick_1952__1_2 NP-SBJ n176_a_dick_1952__1->n176_a_dick_1952__1_2 n176_a_dick_1952__1_3 MD;_cat_Vi_ n176_a_dick_1952__1->n176_a_dick_1952__1_3 n176_a_dick_1952__1_4 IP-INF-CAT n176_a_dick_1952__1->n176_a_dick_1952__1_4 n176_a_dick_1952__1_5 PUNC n176_a_dick_1952__1->n176_a_dick_1952__1_5 n176_a_dick_1952__1_1_1 P-ROLE n176_a_dick_1952__1_1->n176_a_dick_1952__1_1_1 n176_a_dick_1952__1_1_2 NP n176_a_dick_1952__1_1->n176_a_dick_1952__1_1_2 n176_a_dick_1952__1_1_1->n176_a_dick_1952__1_1_1_1 n176_a_dick_1952__1_1_2_1 D n176_a_dick_1952__1_1_2->n176_a_dick_1952__1_1_2_1 n176_a_dick_1952__1_1_2_2 N n176_a_dick_1952__1_1_2->n176_a_dick_1952__1_1_2_2 n176_a_dick_1952__1_1_2_3 PP n176_a_dick_1952__1_1_2->n176_a_dick_1952__1_1_2_3 n176_a_dick_1952__1_1_2_1->n176_a_dick_1952__1_1_2_1_1 n176_a_dick_1952__1_1_2_2->n176_a_dick_1952__1_1_2_2_1 n176_a_dick_1952__1_1_2_3_1 P-ROLE n176_a_dick_1952__1_1_2_3->n176_a_dick_1952__1_1_2_3_1 n176_a_dick_1952__1_1_2_3_2 NP n176_a_dick_1952__1_1_2_3->n176_a_dick_1952__1_1_2_3_2 n176_a_dick_1952__1_1_2_3_1->n176_a_dick_1952__1_1_2_3_1_1 n176_a_dick_1952__1_1_2_3_2_1 D n176_a_dick_1952__1_1_2_3_2->n176_a_dick_1952__1_1_2_3_2_1 n176_a_dick_1952__1_1_2_3_2_2 N n176_a_dick_1952__1_1_2_3_2->n176_a_dick_1952__1_1_2_3_2_2 n176_a_dick_1952__1_1_2_3_2_3 PUNC n176_a_dick_1952__1_1_2_3_2->n176_a_dick_1952__1_1_2_3_2_3 n176_a_dick_1952__1_1_2_3_2_4 N n176_a_dick_1952__1_1_2_3_2->n176_a_dick_1952__1_1_2_3_2_4 n176_a_dick_1952__1_1_2_3_2_5 PP n176_a_dick_1952__1_1_2_3_2->n176_a_dick_1952__1_1_2_3_2_5 n176_a_dick_1952__1_1_2_3_2_1->n176_a_dick_1952__1_1_2_3_2_1_1 n176_a_dick_1952__1_1_2_3_2_2->n176_a_dick_1952__1_1_2_3_2_2_1 n176_a_dick_1952__1_1_2_3_2_3->n176_a_dick_1952__1_1_2_3_2_3_1 n176_a_dick_1952__1_1_2_3_2_4->n176_a_dick_1952__1_1_2_3_2_4_1 n176_a_dick_1952__1_1_2_3_2_5_1 P-ROLE n176_a_dick_1952__1_1_2_3_2_5->n176_a_dick_1952__1_1_2_3_2_5_1 n176_a_dick_1952__1_1_2_3_2_5_2 NP n176_a_dick_1952__1_1_2_3_2_5->n176_a_dick_1952__1_1_2_3_2_5_2 n176_a_dick_1952__1_1_2_3_2_5_1->n176_a_dick_1952__1_1_2_3_2_5_1_1 n176_a_dick_1952__1_1_2_3_2_5_2_1 D n176_a_dick_1952__1_1_2_3_2_5_2->n176_a_dick_1952__1_1_2_3_2_5_2_1 n176_a_dick_1952__1_1_2_3_2_5_2_2 N n176_a_dick_1952__1_1_2_3_2_5_2->n176_a_dick_1952__1_1_2_3_2_5_2_2 n176_a_dick_1952__1_1_2_3_2_5_2_1->n176_a_dick_1952__1_1_2_3_2_5_2_1_1 n176_a_dick_1952__1_1_2_3_2_5_2_2->n176_a_dick_1952__1_1_2_3_2_5_2_2_1 n176_a_dick_1952__1_2_1 PRO n176_a_dick_1952__1_2->n176_a_dick_1952__1_2_1 n176_a_dick_1952__1_2_1->n176_a_dick_1952__1_2_1_1 n176_a_dick_1952__1_3->n176_a_dick_1952__1_3_1 n176_a_dick_1952__1_4_1 BE;_La_ n176_a_dick_1952__1_4->n176_a_dick_1952__1_4_1 n176_a_dick_1952__1_4_2 ADJP-PRD n176_a_dick_1952__1_4->n176_a_dick_1952__1_4_2 n176_a_dick_1952__1_4_1->n176_a_dick_1952__1_4_1_1 n176_a_dick_1952__1_4_2_1 ADJ n176_a_dick_1952__1_4_2->n176_a_dick_1952__1_4_2_1 n176_a_dick_1952__1_4_2_1->n176_a_dick_1952__1_4_2_1_1 n176_a_dick_1952__1_5->n176_a_dick_1952__1_5_1 
( (IP-MAT (PP-NIM (P-ROLE By;{by})
                  (NP (D the;{the})
                      (N end;{end})
                      (PP (P-ROLE of;{of})
                          (NP (D the;{the})
                              (N day;{day})
                              (PUNC <hyphen>)
                              (N period;{period})
                              (PP (P-ROLE of;{of})
                                  (NP (D this;{this})
                                      (N planet;{planet})))))))
          (NP-SBJ;{CAPTAIN} (PRO he;{he}))
          (MD;_cat_Vi_ <apos>ll;{will})
          (IP-INF-CAT (BE;_La_ be;{be})
                      (ADJP-PRD (ADJ dead;{dead})))
          (PUNC .))
  (ID 176_a_dick_1952))


%3 r_0176_0014__be be r_0176_0015__dead dead r_0176_0014__be->r_0176_0015__dead [prd] r_0176_0012__he he r_0176_0014__be->r_0176_0012__he [arg0] r_0176_0013___apos_ll 'll r_0176_0013___apos_ll->r_0176_0014__be [scope] r_0176_0002__the_r_0176_0003__end the end r_0176_0013___apos_ll->r_0176_0002__the_r_0176_0003__end By [nim] r_0176_0005__the_r_0176_0006__day_r_0176_0008__period the day period r_0176_0002__the_r_0176_0003__end->r_0176_0005__the_r_0176_0006__day_r_0176_0008__period of r_0176_0010__this_r_0176_0011__planet this planet r_0176_0005__the_r_0176_0006__day_r_0176_0008__period->r_0176_0010__this_r_0176_0011__planet of 
arc(r_0176_0002__the_r_0176_0003__end,r_0176_0005__the_r_0176_0006__day_r_0176_0008__period,r_0176_0004__of).
arc(r_0176_0005__the_r_0176_0006__day_r_0176_0008__period,r_0176_0010__this_r_0176_0011__planet,r_0176_0009__of).
arc(r_0176_0013___apos_ll,r_0176_0002__the_r_0176_0003__end,r_0176_0001__By__nim).
arc(r_0176_0013___apos_ll,r_0176_0014__be,scope).
arc(r_0176_0014__be,r_0176_0012__he,arg0).
arc(r_0176_0014__be,r_0176_0015__dead,prd).


%3 r_0176_0002__the_r_0176_0003__end the end r_0176_0005__the_r_0176_0006__day_r_0176_0008__period the day period r_0176_0002__the_r_0176_0003__end->r_0176_0005__the_r_0176_0006__day_r_0176_0008__period of r_0176_0010__this_r_0176_0011__planet this planet r_0176_0005__the_r_0176_0006__day_r_0176_0008__period->r_0176_0010__this_r_0176_0011__planet of r_0176_0013___apos_ll_r_0176_0014__be 'll be r_0176_0013___apos_ll_r_0176_0014__be->r_0176_0002__the_r_0176_0003__end By [nim] r_0176_0012__he he r_0176_0013___apos_ll_r_0176_0014__be->r_0176_0012__he [arg0] r_0176_0015__dead dead r_0176_0013___apos_ll_r_0176_0014__be->r_0176_0015__dead [prd] 
fof(formula,axiom,
    ? [R_0176_0010__THIS_R_0176_0011__PLANET,R_0176_0005__THE_R_0176_0006__DAY_R_0176_0008__PERIOD,R_0176_0002__THE_R_0176_0003__END,R_0176_0012__HE,R_0176_0015__DEAD,R_0176_0013___APOS_LL_R_0176_0014__BE] :
      ( r_0176_0010__this_r_0176_0011__planet(R_0176_0010__THIS_R_0176_0011__PLANET)
      & r_0176_0012__he(R_0176_0012__HE)
      & r_0176_0015__dead(R_0176_0015__DEAD)
      & r_0176_0013___apos_ll_r_0176_0014__be(R_0176_0013___APOS_LL_R_0176_0014__BE)
      & has_prd(R_0176_0013___APOS_LL_R_0176_0014__BE,R_0176_0015__DEAD)
      & has_arg0(R_0176_0013___APOS_LL_R_0176_0014__BE,R_0176_0012__HE)
      & has_r_0176_0001__By__nim(R_0176_0013___APOS_LL_R_0176_0014__BE,R_0176_0002__THE_R_0176_0003__END)
      & r_0176_0002__the_r_0176_0003__end(R_0176_0002__THE_R_0176_0003__END)
      & has_r_0176_0004__of(R_0176_0002__THE_R_0176_0003__END,R_0176_0005__THE_R_0176_0006__DAY_R_0176_0008__PERIOD)
      & r_0176_0005__the_r_0176_0006__day_r_0176_0008__period(R_0176_0005__THE_R_0176_0006__DAY_R_0176_0008__PERIOD)
      & has_r_0176_0009__of(R_0176_0005__THE_R_0176_0006__DAY_R_0176_0008__PERIOD,R_0176_0010__THIS_R_0176_0011__PLANET) ) ).