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.
( (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))
arc(r_0573_0003__as,r_0573_0006__was,restriction).
arc(r_0573_0003__as,r_0573_0018__came_r_0573_0019__back,scope).
arc(r_0573_0006__was,r_0573_0007__dipping_r_0573_0008__into,scope).
arc(r_0573_0007__dipping_r_0573_0008__into,r_0573_0004__the_r_0573_0005__sun,arg0).
arc(r_0573_0007__dipping_r_0573_0008__into,r_0573_0009__the_r_0573_0011__mists,arg1).
arc(r_0573_0009__the_r_0573_0011__mists,r_0573_0010__gray,attrib).
arc(r_0573_0013__drifted_r_0573_0014__across,r_0573_0009__the_r_0573_0011__mists,inv_arg0).
arc(r_0573_0013__drifted_r_0573_0014__across,r_0573_0015__the_r_0573_0016__planet,arg1).
arc(r_0573_0018__came_r_0573_0019__back,r_0573_0001__At_last,nim).
arc(r_0573_0018__came_r_0573_0019__back,r_0573_0017__they,arg0).
arc(r_0573_0018__came_r_0573_0019__back,r_0573_0021__the_r_0573_0022__stairs,r_0573_0020__up__nim).
arc(r_0573_0018__came_r_0573_0019__back,r_0573_0023__again,nim).
fof(formula,axiom,
? [R_0573_0004__THE_R_0573_0005__SUN,R_0573_0010__GRAY,R_0573_0015__THE_R_0573_0016__PLANET,R_0573_0013__DRIFTED_R_0573_0014__ACROSS,R_0573_0009__THE_R_0573_0011__MISTS,R_0573_0006__WAS_R_0573_0007__DIPPING_R_0573_0008__INTO,R_0573_0001__AT_LAST,R_0573_0017__THEY,R_0573_0021__THE_R_0573_0022__STAIRS,R_0573_0023__AGAIN,R_0573_0018__CAME_R_0573_0019__BACK,R_0573_0003__AS] :
( r_0573_0001__At_last(R_0573_0001__AT_LAST)
& r_0573_0004__the_r_0573_0005__sun(R_0573_0004__THE_R_0573_0005__SUN)
& r_0573_0010__gray(R_0573_0010__GRAY)
& r_0573_0015__the_r_0573_0016__planet(R_0573_0015__THE_R_0573_0016__PLANET)
& r_0573_0017__they(R_0573_0017__THEY)
& r_0573_0021__the_r_0573_0022__stairs(R_0573_0021__THE_R_0573_0022__STAIRS)
& r_0573_0023__again(R_0573_0023__AGAIN)
& r_0573_0003__as(R_0573_0003__AS)
& has_conj2(R_0573_0003__AS,R_0573_0018__CAME_R_0573_0019__BACK)
& r_0573_0018__came_r_0573_0019__back(R_0573_0018__CAME_R_0573_0019__BACK)
& has_nim(R_0573_0018__CAME_R_0573_0019__BACK,R_0573_0023__AGAIN)
& has_r_0573_0020__up__nim(R_0573_0018__CAME_R_0573_0019__BACK,R_0573_0021__THE_R_0573_0022__STAIRS)
& has_arg0(R_0573_0018__CAME_R_0573_0019__BACK,R_0573_0017__THEY)
& has_nim(R_0573_0018__CAME_R_0573_0019__BACK,R_0573_0001__AT_LAST)
& has_conj1(R_0573_0003__AS,R_0573_0006__WAS_R_0573_0007__DIPPING_R_0573_0008__INTO)
& r_0573_0006__was_r_0573_0007__dipping_r_0573_0008__into(R_0573_0006__WAS_R_0573_0007__DIPPING_R_0573_0008__INTO)
& has_arg1(R_0573_0006__WAS_R_0573_0007__DIPPING_R_0573_0008__INTO,R_0573_0009__THE_R_0573_0011__MISTS)
& r_0573_0009__the_r_0573_0011__mists(R_0573_0009__THE_R_0573_0011__MISTS)
& has_inv_arg0(R_0573_0009__THE_R_0573_0011__MISTS,R_0573_0013__DRIFTED_R_0573_0014__ACROSS)
& r_0573_0013__drifted_r_0573_0014__across(R_0573_0013__DRIFTED_R_0573_0014__ACROSS)
& has_arg1(R_0573_0013__DRIFTED_R_0573_0014__ACROSS,R_0573_0015__THE_R_0573_0016__PLANET)
& has_attrib(R_0573_0009__THE_R_0573_0011__MISTS,R_0573_0010__GRAY)
& has_arg0(R_0573_0006__WAS_R_0573_0007__DIPPING_R_0573_0008__INTO,R_0573_0004__THE_R_0573_0005__SUN) ) ).