23_a_dick_1952
He saw a vast expanse, an endless surface of gray, stretching to the edge of the planet.
arc(r_0023_0002__saw, r_0023_0001__He, arg0).
arc(r_0023_0002__saw, r_0023_0003__a_r_0023_0005__expanse, arg1).
arc(r_0023_0003__a_r_0023_0005__expanse, r_0023_0004__vast, attrib10).
arc(r_0023_0007__an_r_0023_0009__surface, r_0023_0008__endless, attrib21).
arc(r_0023_0007__an_r_0023_0009__surface, z_000_23_a_dick_1952_29, r_0023_0010__of).
arc(r_0023_0013__stretching, r_0023_0007__an_r_0023_0009__surface, arg0).
arc(r_0023_0013__stretching, r_0023_0015__the_r_0023_0016__edge, r_0023_0014__to_clr41).
arc(r_0023_0015__the_r_0023_0016__edge, r_0023_0018__the_r_0023_0019__planet, r_0023_0017__of).
arc(z_000_23_a_dick_1952_17, r_0023_0003__a_r_0023_0005__expanse, arg0).
arc(z_000_23_a_dick_1952_17, r_0023_0007__an_r_0023_0009__surface, prd).
arc(z_000_23_a_dick_1952_29, r_0023_0011__gray, attrib30).
fof(formula,axiom,
? [R_0023_0001__HE,R_0023_0004__VAST,R_0023_0003__A_R_0023_0005__EXPANSE,R_0023_0002__SAW,R_0023_0008__ENDLESS,R_0023_0011__GRAY,Z_000_23_A_DICK_1952_29,R_0023_0007__AN_R_0023_0009__SURFACE,R_0023_0018__THE_R_0023_0019__PLANET,R_0023_0015__THE_R_0023_0016__EDGE,R_0023_0013__STRETCHING,Z_000_23_A_DICK_1952_17] :
( r_0023_0001__He(R_0023_0001__HE)
& r_0023_0004__vast(R_0023_0004__VAST)
& r_0023_0008__endless(R_0023_0008__ENDLESS)
& r_0023_0011__gray(R_0023_0011__GRAY)
& r_0023_0018__the_r_0023_0019__planet(R_0023_0018__THE_R_0023_0019__PLANET)
& z_000_23_a_dick_1952_17(Z_000_23_A_DICK_1952_17)
& has_prd(Z_000_23_A_DICK_1952_17,R_0023_0007__AN_R_0023_0009__SURFACE)
& r_0023_0007__an_r_0023_0009__surface(R_0023_0007__AN_R_0023_0009__SURFACE)
& has_r_0023_0010__of(R_0023_0007__AN_R_0023_0009__SURFACE,Z_000_23_A_DICK_1952_29)
& z_000_23_a_dick_1952_29(Z_000_23_A_DICK_1952_29)
& has_attrib30(Z_000_23_A_DICK_1952_29,R_0023_0011__GRAY)
& has_attrib21(R_0023_0007__AN_R_0023_0009__SURFACE,R_0023_0008__ENDLESS)
& has_arg0(Z_000_23_A_DICK_1952_17,R_0023_0003__A_R_0023_0005__EXPANSE)
& r_0023_0003__a_r_0023_0005__expanse(R_0023_0003__A_R_0023_0005__EXPANSE)
& has_attrib10(R_0023_0003__A_R_0023_0005__EXPANSE,R_0023_0004__VAST)
& r_0023_0013__stretching(R_0023_0013__STRETCHING)
& has_r_0023_0014__to_clr41(R_0023_0013__STRETCHING,R_0023_0015__THE_R_0023_0016__EDGE)
& r_0023_0015__the_r_0023_0016__edge(R_0023_0015__THE_R_0023_0016__EDGE)
& has_r_0023_0017__of(R_0023_0015__THE_R_0023_0016__EDGE,R_0023_0018__THE_R_0023_0019__PLANET)
& has_arg0(R_0023_0013__STRETCHING,R_0023_0007__AN_R_0023_0009__SURFACE)
& r_0023_0002__saw(R_0023_0002__SAW)
& has_arg1(R_0023_0002__SAW,R_0023_0003__A_R_0023_0005__EXPANSE)
& has_arg0(R_0023_0002__SAW,R_0023_0001__HE) ) ).
( (IP-MAT (NP-SBJ;{FOMAR} (PRO He;{he}))
(VBD;_Tn_ saw;{see})
(NP-OB1;{EXPANSE} (D a;{a})
(ADJP (ADJ vast;{vast}))
(N expanse;{expanse})
(PUNC ,)
(IP-PPL (NP-PRD (D an;{an})
(ADJP (ADJ endless;{endless}))
(N surface;{surface})
(PP (P-ROLE of;{of})
(NP (ADJP (ADJ gray;{gray}))))
(PUNC ,)
(IP-PPL (VAG;_Ipr_ stretching;{stretch[to]})
(PP-CLR (P-ROLE to;{to})
(NP (D the;{the})
(N edge;{edge})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(N planet;{planet})))))))))
(PUNC .))
(ID 23_a_dick_1952))