Context                Previous, Next                Top


573_a_dick_1952
At last, as the sun was dipping into the gray mists that drifted across the planet they came back up the stairs again.

%3 r_0573_0003__as as r_0573_0006__was was r_0573_0003__as->r_0573_0006__was [restriction] r_0573_0018__came came r_0573_0003__as->r_0573_0018__came [scope] r_0573_0007__dipping dipping r_0573_0006__was->r_0573_0007__dipping [scope] r_0573_0001__At_last At last r_0573_0018__came->r_0573_0001__At_last [nim] r_0573_0017__they they r_0573_0018__came->r_0573_0017__they [arg0] r_0573_0019__back back r_0573_0018__came->r_0573_0019__back [clr] r_0573_0021__the_r_0573_0022__stairs the stairs r_0573_0018__came->r_0573_0021__the_r_0573_0022__stairs up [nim] r_0573_0023__again again r_0573_0018__came->r_0573_0023__again [nim] r_0573_0004__the_r_0573_0005__sun the sun r_0573_0007__dipping->r_0573_0004__the_r_0573_0005__sun [arg0] r_0573_0009__the_r_0573_0011__mists the mists r_0573_0007__dipping->r_0573_0009__the_r_0573_0011__mists into [clr] r_0573_0010__gray gray r_0573_0009__the_r_0573_0011__mists->r_0573_0010__gray [attrib] r_0573_0012__that_r_0573_0013__drifted that drifted r_0573_0012__that_r_0573_0013__drifted->r_0573_0009__the_r_0573_0011__mists [arg0] r_0573_0015__the_r_0573_0016__planet the planet r_0573_0012__that_r_0573_0013__drifted->r_0573_0015__the_r_0573_0016__planet across [clr] 
arc(r_0573_0003__as, r_0573_0006__was, restriction).
arc(r_0573_0003__as, r_0573_0018__came, scope).
arc(r_0573_0006__was, r_0573_0007__dipping, scope).
arc(r_0573_0007__dipping, r_0573_0004__the_r_0573_0005__sun, arg0).
arc(r_0573_0007__dipping, r_0573_0009__the_r_0573_0011__mists, r_0573_0008__into_clr24).
arc(r_0573_0009__the_r_0573_0011__mists, r_0573_0010__gray, attrib27).
arc(r_0573_0012__that_r_0573_0013__drifted, r_0573_0009__the_r_0573_0011__mists, arg0).
arc(r_0573_0012__that_r_0573_0013__drifted, r_0573_0015__the_r_0573_0016__planet, r_0573_0014__across_clr42).
arc(r_0573_0018__came, r_0573_0001__At_last, nim2).
arc(r_0573_0018__came, r_0573_0017__they, arg0).
arc(r_0573_0018__came, r_0573_0019__back, clr52).
arc(r_0573_0018__came, r_0573_0021__the_r_0573_0022__stairs, r_0573_0020__up_nim58).
arc(r_0573_0018__came, r_0573_0023__again, nim63).


%3 r_0573_0018__came came r_0573_0023__again again r_0573_0018__came->r_0573_0023__again [nim] r_0573_0021__the_r_0573_0022__stairs the stairs r_0573_0018__came->r_0573_0021__the_r_0573_0022__stairs up [nim] r_0573_0019__back back r_0573_0018__came->r_0573_0019__back [clr] r_0573_0017__they they r_0573_0018__came->r_0573_0017__they [arg0] r_0573_0001__At_last At last r_0573_0018__came->r_0573_0001__At_last [nim] r_0573_0012__that_r_0573_0013__drifted that drifted r_0573_0015__the_r_0573_0016__planet the planet r_0573_0012__that_r_0573_0013__drifted->r_0573_0015__the_r_0573_0016__planet across [clr] r_0573_0009__the_r_0573_0011__mists the mists r_0573_0012__that_r_0573_0013__drifted->r_0573_0009__the_r_0573_0011__mists [arg0] r_0573_0010__gray gray r_0573_0009__the_r_0573_0011__mists->r_0573_0010__gray [attrib] r_0573_0006__was_r_0573_0007__dipping was dipping r_0573_0006__was_r_0573_0007__dipping->r_0573_0009__the_r_0573_0011__mists into [clr] r_0573_0004__the_r_0573_0005__sun the sun r_0573_0006__was_r_0573_0007__dipping->r_0573_0004__the_r_0573_0005__sun [arg0] r_0573_0003__as as r_0573_0003__as->r_0573_0018__came [conj2] r_0573_0003__as->r_0573_0006__was_r_0573_0007__dipping [conj1] 
fof(formula,axiom,
    ? [R_573_3_AS,R_573_6_WAS_DIPPING,R_573_4_THE_SUN,R_573_18_CAME,R_573_17_THEY,R_573_19_BACK,R_573_1_AT_LAST,R_573_23_AGAIN,R_573_21_THE_STAIRS,R_573_12_THAT_DRIFTED,R_573_9_THE_MISTS,R_573_10_GRAY,R_573_15_THE_PLANET] :
      ( the_sun(R_573_4_THE_SUN)
      & they(R_573_17_THEY)
      & back(R_573_19_BACK)
      & at_last(R_573_1_AT_LAST)
      & again(R_573_23_AGAIN)
      & the_stairs(R_573_21_THE_STAIRS)
      & gray(R_573_10_GRAY)
      & the_planet(R_573_15_THE_PLANET)
      & as(R_573_3_AS)
      & conj1(R_573_3_AS,R_573_6_WAS_DIPPING)
      & was_dipping(R_573_6_WAS_DIPPING,R_573_4_THE_SUN)
      & into_clr24(R_573_6_WAS_DIPPING,R_573_9_THE_MISTS)
      & the_mists(R_573_9_THE_MISTS)
      & attrib27(R_573_9_THE_MISTS,R_573_10_GRAY)
      & conj2(R_573_3_AS,R_573_18_CAME)
      & came(R_573_18_CAME,R_573_17_THEY)
      & clr52(R_573_18_CAME,R_573_19_BACK)
      & nim2(R_573_18_CAME,R_573_1_AT_LAST)
      & nim63(R_573_18_CAME,R_573_23_AGAIN)
      & up_nim58(R_573_18_CAME,R_573_21_THE_STAIRS)
      & that_drifted(R_573_12_THAT_DRIFTED,R_573_9_THE_MISTS)
      & across_clr42(R_573_12_THAT_DRIFTED,R_573_15_THE_PLANET) ) ).


n573_a_dick_1952 n573_a_dick_1952__1_1_1_1 At_last n573_a_dick_1952__1_2_1 , n573_a_dick_1952__1_3_1_1 as n573_a_dick_1952__1_3_2_1_1_1 the n573_a_dick_1952__1_3_2_1_2_1 sun n573_a_dick_1952__1_3_2_2_1 was n573_a_dick_1952__1_3_2_3_1_1 dipping n573_a_dick_1952__1_3_2_3_2_1_1 into n573_a_dick_1952__1_3_2_3_2_2_1_1 the n573_a_dick_1952__1_3_2_3_2_2_2_1_1 gray n573_a_dick_1952__1_3_2_3_2_2_3_1 mists n573_a_dick_1952__1_3_2_3_2_2_4_1_1 that n573_a_dick_1952__1_3_2_3_2_2_4_2_1 *T* n573_a_dick_1952__1_3_2_3_2_2_4_3_1 drifted n573_a_dick_1952__1_3_2_3_2_2_4_4_1_1 across n573_a_dick_1952__1_3_2_3_2_2_4_4_2_1_1 the n573_a_dick_1952__1_3_2_3_2_2_4_4_2_2_1 planet n573_a_dick_1952__1_4_1_1 they n573_a_dick_1952__1_5_1 came n573_a_dick_1952__1_6_1_1 back n573_a_dick_1952__1_7_1_1 up n573_a_dick_1952__1_7_2_1_1 the n573_a_dick_1952__1_7_2_2_1 stairs n573_a_dick_1952__1_8_1_1 again n573_a_dick_1952__1_9_1 . n573_a_dick_1952__1 IP-MAT n573_a_dick_1952__1_1 ADVP-NIM n573_a_dick_1952__1->n573_a_dick_1952__1_1 n573_a_dick_1952__1_2 PUNC n573_a_dick_1952__1->n573_a_dick_1952__1_2 n573_a_dick_1952__1_3 PP-SCON n573_a_dick_1952__1->n573_a_dick_1952__1_3 n573_a_dick_1952__1_4 NP-SBJ n573_a_dick_1952__1->n573_a_dick_1952__1_4 n573_a_dick_1952__1_5 VBD;_Ip_ n573_a_dick_1952__1->n573_a_dick_1952__1_5 n573_a_dick_1952__1_6 ADVP-CLR n573_a_dick_1952__1->n573_a_dick_1952__1_6 n573_a_dick_1952__1_7 PP-NIM n573_a_dick_1952__1->n573_a_dick_1952__1_7 n573_a_dick_1952__1_8 ADVP-NIM n573_a_dick_1952__1->n573_a_dick_1952__1_8 n573_a_dick_1952__1_9 PUNC n573_a_dick_1952__1->n573_a_dick_1952__1_9 n573_a_dick_1952__1_1_1 ADV n573_a_dick_1952__1_1->n573_a_dick_1952__1_1_1 n573_a_dick_1952__1_1_1->n573_a_dick_1952__1_1_1_1 n573_a_dick_1952__1_2->n573_a_dick_1952__1_2_1 n573_a_dick_1952__1_3_1 P-CONN n573_a_dick_1952__1_3->n573_a_dick_1952__1_3_1 n573_a_dick_1952__1_3_2 IP-ADV n573_a_dick_1952__1_3->n573_a_dick_1952__1_3_2 n573_a_dick_1952__1_3_1->n573_a_dick_1952__1_3_1_1 n573_a_dick_1952__1_3_2_1 NP-SBJ n573_a_dick_1952__1_3_2->n573_a_dick_1952__1_3_2_1 n573_a_dick_1952__1_3_2_2 BED;_cat_Vg_ n573_a_dick_1952__1_3_2->n573_a_dick_1952__1_3_2_2 n573_a_dick_1952__1_3_2_3 IP-PPL-CAT n573_a_dick_1952__1_3_2->n573_a_dick_1952__1_3_2_3 n573_a_dick_1952__1_3_2_1_1 D n573_a_dick_1952__1_3_2_1->n573_a_dick_1952__1_3_2_1_1 n573_a_dick_1952__1_3_2_1_2 N n573_a_dick_1952__1_3_2_1->n573_a_dick_1952__1_3_2_1_2 n573_a_dick_1952__1_3_2_1_1->n573_a_dick_1952__1_3_2_1_1_1 n573_a_dick_1952__1_3_2_1_2->n573_a_dick_1952__1_3_2_1_2_1 n573_a_dick_1952__1_3_2_2->n573_a_dick_1952__1_3_2_2_1 n573_a_dick_1952__1_3_2_3_1 VAG;_Ipr_ n573_a_dick_1952__1_3_2_3->n573_a_dick_1952__1_3_2_3_1 n573_a_dick_1952__1_3_2_3_2 PP-CLR n573_a_dick_1952__1_3_2_3->n573_a_dick_1952__1_3_2_3_2 n573_a_dick_1952__1_3_2_3_1->n573_a_dick_1952__1_3_2_3_1_1 n573_a_dick_1952__1_3_2_3_2_1 P-ROLE n573_a_dick_1952__1_3_2_3_2->n573_a_dick_1952__1_3_2_3_2_1 n573_a_dick_1952__1_3_2_3_2_2 NP n573_a_dick_1952__1_3_2_3_2->n573_a_dick_1952__1_3_2_3_2_2 n573_a_dick_1952__1_3_2_3_2_1->n573_a_dick_1952__1_3_2_3_2_1_1 n573_a_dick_1952__1_3_2_3_2_2_1 D n573_a_dick_1952__1_3_2_3_2_2->n573_a_dick_1952__1_3_2_3_2_2_1 n573_a_dick_1952__1_3_2_3_2_2_2 ADJP n573_a_dick_1952__1_3_2_3_2_2->n573_a_dick_1952__1_3_2_3_2_2_2 n573_a_dick_1952__1_3_2_3_2_2_3 NS n573_a_dick_1952__1_3_2_3_2_2->n573_a_dick_1952__1_3_2_3_2_2_3 n573_a_dick_1952__1_3_2_3_2_2_4 IP-REL n573_a_dick_1952__1_3_2_3_2_2->n573_a_dick_1952__1_3_2_3_2_2_4 n573_a_dick_1952__1_3_2_3_2_2_1->n573_a_dick_1952__1_3_2_3_2_2_1_1 n573_a_dick_1952__1_3_2_3_2_2_2_1 ADJ n573_a_dick_1952__1_3_2_3_2_2_2->n573_a_dick_1952__1_3_2_3_2_2_2_1 n573_a_dick_1952__1_3_2_3_2_2_2_1->n573_a_dick_1952__1_3_2_3_2_2_2_1_1 n573_a_dick_1952__1_3_2_3_2_2_3->n573_a_dick_1952__1_3_2_3_2_2_3_1 n573_a_dick_1952__1_3_2_3_2_2_4_1 C n573_a_dick_1952__1_3_2_3_2_2_4->n573_a_dick_1952__1_3_2_3_2_2_4_1 n573_a_dick_1952__1_3_2_3_2_2_4_2 NP-SBJ n573_a_dick_1952__1_3_2_3_2_2_4->n573_a_dick_1952__1_3_2_3_2_2_4_2 n573_a_dick_1952__1_3_2_3_2_2_4_3 VBD;_Ipr_ n573_a_dick_1952__1_3_2_3_2_2_4->n573_a_dick_1952__1_3_2_3_2_2_4_3 n573_a_dick_1952__1_3_2_3_2_2_4_4 PP-CLR n573_a_dick_1952__1_3_2_3_2_2_4->n573_a_dick_1952__1_3_2_3_2_2_4_4 n573_a_dick_1952__1_3_2_3_2_2_4_1->n573_a_dick_1952__1_3_2_3_2_2_4_1_1 n573_a_dick_1952__1_3_2_3_2_2_4_2->n573_a_dick_1952__1_3_2_3_2_2_4_2_1 n573_a_dick_1952__1_3_2_3_2_2_4_3->n573_a_dick_1952__1_3_2_3_2_2_4_3_1 n573_a_dick_1952__1_3_2_3_2_2_4_4_1 P-ROLE n573_a_dick_1952__1_3_2_3_2_2_4_4->n573_a_dick_1952__1_3_2_3_2_2_4_4_1 n573_a_dick_1952__1_3_2_3_2_2_4_4_2 NP n573_a_dick_1952__1_3_2_3_2_2_4_4->n573_a_dick_1952__1_3_2_3_2_2_4_4_2 n573_a_dick_1952__1_3_2_3_2_2_4_4_1->n573_a_dick_1952__1_3_2_3_2_2_4_4_1_1 n573_a_dick_1952__1_3_2_3_2_2_4_4_2_1 D n573_a_dick_1952__1_3_2_3_2_2_4_4_2->n573_a_dick_1952__1_3_2_3_2_2_4_4_2_1 n573_a_dick_1952__1_3_2_3_2_2_4_4_2_2 N n573_a_dick_1952__1_3_2_3_2_2_4_4_2->n573_a_dick_1952__1_3_2_3_2_2_4_4_2_2 n573_a_dick_1952__1_3_2_3_2_2_4_4_2_1->n573_a_dick_1952__1_3_2_3_2_2_4_4_2_1_1 n573_a_dick_1952__1_3_2_3_2_2_4_4_2_2->n573_a_dick_1952__1_3_2_3_2_2_4_4_2_2_1 n573_a_dick_1952__1_4_1 PRO n573_a_dick_1952__1_4->n573_a_dick_1952__1_4_1 n573_a_dick_1952__1_4_1->n573_a_dick_1952__1_4_1_1 n573_a_dick_1952__1_5->n573_a_dick_1952__1_5_1 n573_a_dick_1952__1_6_1 RP n573_a_dick_1952__1_6->n573_a_dick_1952__1_6_1 n573_a_dick_1952__1_6_1->n573_a_dick_1952__1_6_1_1 n573_a_dick_1952__1_7_1 P-ROLE n573_a_dick_1952__1_7->n573_a_dick_1952__1_7_1 n573_a_dick_1952__1_7_2 NP n573_a_dick_1952__1_7->n573_a_dick_1952__1_7_2 n573_a_dick_1952__1_7_1->n573_a_dick_1952__1_7_1_1 n573_a_dick_1952__1_7_2_1 D n573_a_dick_1952__1_7_2->n573_a_dick_1952__1_7_2_1 n573_a_dick_1952__1_7_2_2 NS n573_a_dick_1952__1_7_2->n573_a_dick_1952__1_7_2_2 n573_a_dick_1952__1_7_2_1->n573_a_dick_1952__1_7_2_1_1 n573_a_dick_1952__1_7_2_2->n573_a_dick_1952__1_7_2_2_1 n573_a_dick_1952__1_8_1 ADV n573_a_dick_1952__1_8->n573_a_dick_1952__1_8_1 n573_a_dick_1952__1_8_1->n573_a_dick_1952__1_8_1_1 n573_a_dick_1952__1_9->n573_a_dick_1952__1_9_1 
( (IP-MAT (ADVP-NIM (ADV At_last;{at_last}))
          (PUNC ,)
          (PP-SCON (P-CONN as;{as})
                   (IP-ADV (NP-SBJ (D the;{the})
                                   (N sun;{sun}))
                           (BED;_cat_Vg_ was;{be})
                           (IP-PPL-CAT (VAG;_Ipr_ dipping;{dip[into]})
                                       (PP-CLR (P-ROLE into;{into})
                                               (NP (D the;{the})
                                                   (ADJP (ADJ gray;{gray}))
                                                   (NS mists;{mist})
                                                   (IP-REL (C that;{that})
                                                           (NP-SBJ *T*)
                                                           (VBD;_Ipr_ drifted;{drift[across]})
                                                           (PP-CLR (P-ROLE across;{across})
                                                                   (NP (D the;{the})
                                                                       (N planet;{planet})))))))))
          (NP-SBJ;{TRESPASSERS} (PRO they;{they}))
          (VBD;_Ip_ came;{come[back]})
          (ADVP-CLR (RP back;{back}))
          (PP-NIM (P-ROLE up;{up})
                  (NP (D the;{the})
                      (NS stairs;{stair})))
          (ADVP-NIM (ADV again;{again}))
          (PUNC .))
  (ID 573_a_dick_1952))