Context                Previous, Next                Top


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

%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 'll r_0176_0013___apos_ll->r_0176_0002__the_r_0176_0003__end By [nim] r_0176_0014__be be r_0176_0013___apos_ll->r_0176_0014__be [scope] r_0176_0012__he he r_0176_0014__be->r_0176_0012__he [arg0] r_0176_0015__dead dead r_0176_0014__be->r_0176_0015__dead [prd] 
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_nim5).
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_0013___apos_ll_r_0176_0014__be 'll be r_0176_0015__dead dead r_0176_0013___apos_ll_r_0176_0014__be->r_0176_0015__dead [prd] r_0176_0012__he he r_0176_0013___apos_ll_r_0176_0014__be->r_0176_0012__he [arg0] r_0176_0002__the_r_0176_0003__end the end r_0176_0013___apos_ll_r_0176_0014__be->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 
fof(formula,axiom,
    ? [R_176_13__APOS_LL_BE,R_176_12_HE,R_176_15_DEAD,R_176_2_THE_END,R_176_5_THE_DAY_PERIOD,R_176_10_THIS_PLANET] :
      ( he(R_176_12_HE)
      & dead(R_176_15_DEAD)
      & this_planet(R_176_10_THIS_PLANET)
      & _apos_ll_be(R_176_13__APOS_LL_BE,R_176_12_HE,R_176_15_DEAD)
      & by_nim5(R_176_13__APOS_LL_BE,R_176_2_THE_END)
      & the_end(R_176_2_THE_END)
      & of(R_176_2_THE_END,R_176_5_THE_DAY_PERIOD)
      & the_day_period(R_176_5_THE_DAY_PERIOD)
      & of(R_176_5_THE_DAY_PERIOD,R_176_10_THIS_PLANET) ) ).


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))