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_0003__as as r_0573_0006__was_r_0573_0007__dipping was dipping r_0573_0003__as->r_0573_0006__was_r_0573_0007__dipping [conj1] r_0573_0018__came came r_0573_0003__as->r_0573_0018__came [conj2] 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_0009__the_r_0573_0011__mists the mists r_0573_0006__was_r_0573_0007__dipping->r_0573_0009__the_r_0573_0011__mists into [clr] 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_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]
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_4 At_last n573_a_dick_1952_6 , n573_a_dick_1952_9 as n573_a_dick_1952_13 the n573_a_dick_1952_15 sun n573_a_dick_1952_17 was n573_a_dick_1952_20 dipping n573_a_dick_1952_23 into n573_a_dick_1952_26 the n573_a_dick_1952_29 gray n573_a_dick_1952_31 mists n573_a_dick_1952_34 that n573_a_dick_1952_36 *T* n573_a_dick_1952_38 drifted n573_a_dick_1952_41 across n573_a_dick_1952_44 the n573_a_dick_1952_46 planet n573_a_dick_1952_49 they n573_a_dick_1952_51 came n573_a_dick_1952_54 back n573_a_dick_1952_57 up n573_a_dick_1952_60 the n573_a_dick_1952_62 stairs n573_a_dick_1952_65 again n573_a_dick_1952_67 . n573_a_dick_1952_1 IP-MAT n573_a_dick_1952_2 ADVP-NIM n573_a_dick_1952_1->n573_a_dick_1952_2 n573_a_dick_1952_5 PUNC n573_a_dick_1952_1->n573_a_dick_1952_5 n573_a_dick_1952_7 PP-SCON n573_a_dick_1952_1->n573_a_dick_1952_7 n573_a_dick_1952_47 NP-SBJ n573_a_dick_1952_1->n573_a_dick_1952_47 n573_a_dick_1952_50 VBD;_Ip_ n573_a_dick_1952_1->n573_a_dick_1952_50 n573_a_dick_1952_52 ADVP-CLR n573_a_dick_1952_1->n573_a_dick_1952_52 n573_a_dick_1952_55 PP-NIM n573_a_dick_1952_1->n573_a_dick_1952_55 n573_a_dick_1952_63 ADVP-NIM n573_a_dick_1952_1->n573_a_dick_1952_63 n573_a_dick_1952_66 PUNC n573_a_dick_1952_1->n573_a_dick_1952_66 n573_a_dick_1952_3 ADV n573_a_dick_1952_2->n573_a_dick_1952_3 n573_a_dick_1952_3->n573_a_dick_1952_4 n573_a_dick_1952_5->n573_a_dick_1952_6 n573_a_dick_1952_8 P-CONN n573_a_dick_1952_7->n573_a_dick_1952_8 n573_a_dick_1952_10 IP-ADV n573_a_dick_1952_7->n573_a_dick_1952_10 n573_a_dick_1952_8->n573_a_dick_1952_9 n573_a_dick_1952_11 NP-SBJ n573_a_dick_1952_10->n573_a_dick_1952_11 n573_a_dick_1952_16 BED;_cat_Vg_ n573_a_dick_1952_10->n573_a_dick_1952_16 n573_a_dick_1952_18 IP-PPL-CAT n573_a_dick_1952_10->n573_a_dick_1952_18 n573_a_dick_1952_12 D n573_a_dick_1952_11->n573_a_dick_1952_12 n573_a_dick_1952_14 N n573_a_dick_1952_11->n573_a_dick_1952_14 n573_a_dick_1952_12->n573_a_dick_1952_13 n573_a_dick_1952_14->n573_a_dick_1952_15 n573_a_dick_1952_16->n573_a_dick_1952_17 n573_a_dick_1952_19 VAG;_Ipr_ n573_a_dick_1952_18->n573_a_dick_1952_19 n573_a_dick_1952_21 PP-CLR n573_a_dick_1952_18->n573_a_dick_1952_21 n573_a_dick_1952_19->n573_a_dick_1952_20 n573_a_dick_1952_22 P-ROLE n573_a_dick_1952_21->n573_a_dick_1952_22 n573_a_dick_1952_24 NP n573_a_dick_1952_21->n573_a_dick_1952_24 n573_a_dick_1952_22->n573_a_dick_1952_23 n573_a_dick_1952_25 D n573_a_dick_1952_24->n573_a_dick_1952_25 n573_a_dick_1952_27 ADJP n573_a_dick_1952_24->n573_a_dick_1952_27 n573_a_dick_1952_30 NS n573_a_dick_1952_24->n573_a_dick_1952_30 n573_a_dick_1952_32 IP-REL n573_a_dick_1952_24->n573_a_dick_1952_32 n573_a_dick_1952_25->n573_a_dick_1952_26 n573_a_dick_1952_28 ADJ n573_a_dick_1952_27->n573_a_dick_1952_28 n573_a_dick_1952_28->n573_a_dick_1952_29 n573_a_dick_1952_30->n573_a_dick_1952_31 n573_a_dick_1952_33 C n573_a_dick_1952_32->n573_a_dick_1952_33 n573_a_dick_1952_35 NP-SBJ n573_a_dick_1952_32->n573_a_dick_1952_35 n573_a_dick_1952_37 VBD;_Ipr_ n573_a_dick_1952_32->n573_a_dick_1952_37 n573_a_dick_1952_39 PP-CLR n573_a_dick_1952_32->n573_a_dick_1952_39 n573_a_dick_1952_33->n573_a_dick_1952_34 n573_a_dick_1952_35->n573_a_dick_1952_36 n573_a_dick_1952_37->n573_a_dick_1952_38 n573_a_dick_1952_40 P-ROLE n573_a_dick_1952_39->n573_a_dick_1952_40 n573_a_dick_1952_42 NP n573_a_dick_1952_39->n573_a_dick_1952_42 n573_a_dick_1952_40->n573_a_dick_1952_41 n573_a_dick_1952_43 D n573_a_dick_1952_42->n573_a_dick_1952_43 n573_a_dick_1952_45 N n573_a_dick_1952_42->n573_a_dick_1952_45 n573_a_dick_1952_43->n573_a_dick_1952_44 n573_a_dick_1952_45->n573_a_dick_1952_46 n573_a_dick_1952_48 PRO n573_a_dick_1952_47->n573_a_dick_1952_48 n573_a_dick_1952_48->n573_a_dick_1952_49 n573_a_dick_1952_50->n573_a_dick_1952_51 n573_a_dick_1952_53 RP n573_a_dick_1952_52->n573_a_dick_1952_53 n573_a_dick_1952_53->n573_a_dick_1952_54 n573_a_dick_1952_56 P-ROLE n573_a_dick_1952_55->n573_a_dick_1952_56 n573_a_dick_1952_58 NP n573_a_dick_1952_55->n573_a_dick_1952_58 n573_a_dick_1952_56->n573_a_dick_1952_57 n573_a_dick_1952_59 D n573_a_dick_1952_58->n573_a_dick_1952_59 n573_a_dick_1952_61 NS n573_a_dick_1952_58->n573_a_dick_1952_61 n573_a_dick_1952_59->n573_a_dick_1952_60 n573_a_dick_1952_61->n573_a_dick_1952_62 n573_a_dick_1952_64 ADV n573_a_dick_1952_63->n573_a_dick_1952_64 n573_a_dick_1952_64->n573_a_dick_1952_65 n573_a_dick_1952_66->n573_a_dick_1952_67
( (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))