Context                Previous, Next                Top


23_a_dick_1952
He saw a vast expanse, an endless surface of gray, stretching to the edge of the planet.

%3 r_0023_0002__saw saw r_0023_0001__He He r_0023_0002__saw->r_0023_0001__He [arg0] r_0023_0003__a_r_0023_0005__expanse a expanse r_0023_0002__saw->r_0023_0003__a_r_0023_0005__expanse [arg1] r_0023_0004__vast vast r_0023_0003__a_r_0023_0005__expanse->r_0023_0004__vast [attrib] r_0023_0007__an_r_0023_0009__surface an surface r_0023_0008__endless endless r_0023_0007__an_r_0023_0009__surface->r_0023_0008__endless [attrib] z_000_23_a_dick_1952_29 r_0023_0007__an_r_0023_0009__surface->z_000_23_a_dick_1952_29 of r_0023_0011__gray gray z_000_23_a_dick_1952_29->r_0023_0011__gray [attrib] r_0023_0013__stretching stretching r_0023_0013__stretching->r_0023_0007__an_r_0023_0009__surface [arg0] r_0023_0015__the_r_0023_0016__edge the edge r_0023_0013__stretching->r_0023_0015__the_r_0023_0016__edge to [clr] r_0023_0018__the_r_0023_0019__planet the planet r_0023_0015__the_r_0023_0016__edge->r_0023_0018__the_r_0023_0019__planet of z_000_23_a_dick_1952_17 z_000_23_a_dick_1952_17->r_0023_0003__a_r_0023_0005__expanse [arg0] z_000_23_a_dick_1952_17->r_0023_0007__an_r_0023_0009__surface [prd] 
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).


%3 z_000_23_a_dick_1952_29 r_0023_0011__gray gray z_000_23_a_dick_1952_29->r_0023_0011__gray [attrib] z_000_23_a_dick_1952_17 r_0023_0007__an_r_0023_0009__surface an surface z_000_23_a_dick_1952_17->r_0023_0007__an_r_0023_0009__surface [prd] r_0023_0003__a_r_0023_0005__expanse a expanse z_000_23_a_dick_1952_17->r_0023_0003__a_r_0023_0005__expanse [arg0] r_0023_0007__an_r_0023_0009__surface->z_000_23_a_dick_1952_29 of r_0023_0008__endless endless r_0023_0007__an_r_0023_0009__surface->r_0023_0008__endless [attrib] r_0023_0004__vast vast r_0023_0003__a_r_0023_0005__expanse->r_0023_0004__vast [attrib] r_0023_0015__the_r_0023_0016__edge the edge r_0023_0018__the_r_0023_0019__planet the planet r_0023_0015__the_r_0023_0016__edge->r_0023_0018__the_r_0023_0019__planet of r_0023_0013__stretching stretching r_0023_0013__stretching->r_0023_0007__an_r_0023_0009__surface [arg0] r_0023_0013__stretching->r_0023_0015__the_r_0023_0016__edge to [clr] r_0023_0002__saw saw r_0023_0002__saw->r_0023_0003__a_r_0023_0005__expanse [arg1] r_0023_0001__He He r_0023_0002__saw->r_0023_0001__He [arg0] 
fof(formula,axiom,
    ? [R_23_2_SAW,R_23_1_HE,R_23_13_STRETCHING,R_23_15_THE_EDGE,R_23_18_THE_PLANET,Z_23_A_DICK_1952_17,R_23_3_A_EXPANSE,R_23_4_VAST,R_23_7_AN_SURFACE,R_23_8_ENDLESS,Z_23_A_DICK_1952_29,R_23_11_GRAY] :
      ( he(R_23_1_HE)
      & the_planet(R_23_18_THE_PLANET)
      & vast(R_23_4_VAST)
      & endless(R_23_8_ENDLESS)
      & gray(R_23_11_GRAY)
      & saw(R_23_2_SAW,R_23_1_HE,R_23_3_A_EXPANSE)
      & a_expanse(R_23_3_A_EXPANSE)
      & attrib10(R_23_3_A_EXPANSE,R_23_4_VAST)
      & stretching(R_23_13_STRETCHING,R_23_7_AN_SURFACE)
      & an_surface(R_23_7_AN_SURFACE)
      & attrib21(R_23_7_AN_SURFACE,R_23_8_ENDLESS)
      & of(R_23_7_AN_SURFACE,Z_23_A_DICK_1952_29)
      & z_23_a_dick_1952_29(Z_23_A_DICK_1952_29)
      & attrib30(Z_23_A_DICK_1952_29,R_23_11_GRAY)
      & to_clr41(R_23_13_STRETCHING,R_23_15_THE_EDGE)
      & the_edge(R_23_15_THE_EDGE)
      & of(R_23_15_THE_EDGE,R_23_18_THE_PLANET)
      & z_23_a_dick_1952_17(Z_23_A_DICK_1952_17,R_23_3_A_EXPANSE,R_23_7_AN_SURFACE) ) ).


n23_a_dick_1952 n23_a_dick_1952__1_1_1_1 He n23_a_dick_1952__1_2_1 saw n23_a_dick_1952__1_3_1_1 a n23_a_dick_1952__1_3_2_1_1 vast n23_a_dick_1952__1_3_3_1 expanse n23_a_dick_1952__1_3_4_1 , n23_a_dick_1952__1_3_5_1_1_1 an n23_a_dick_1952__1_3_5_1_2_1_1 endless n23_a_dick_1952__1_3_5_1_3_1 surface n23_a_dick_1952__1_3_5_1_4_1_1 of n23_a_dick_1952__1_3_5_1_4_2_1_1_1 gray n23_a_dick_1952__1_3_5_1_5_1 , n23_a_dick_1952__1_3_5_1_6_1_1 stretching n23_a_dick_1952__1_3_5_1_6_2_1_1 to n23_a_dick_1952__1_3_5_1_6_2_2_1_1 the n23_a_dick_1952__1_3_5_1_6_2_2_2_1 edge n23_a_dick_1952__1_3_5_1_6_2_2_3_1_1 of n23_a_dick_1952__1_3_5_1_6_2_2_3_2_1_1 the n23_a_dick_1952__1_3_5_1_6_2_2_3_2_2_1 planet n23_a_dick_1952__1_4_1 . n23_a_dick_1952__1 IP-MAT n23_a_dick_1952__1_1 NP-SBJ n23_a_dick_1952__1->n23_a_dick_1952__1_1 n23_a_dick_1952__1_2 VBD;_Tn_ n23_a_dick_1952__1->n23_a_dick_1952__1_2 n23_a_dick_1952__1_3 NP-OB1 n23_a_dick_1952__1->n23_a_dick_1952__1_3 n23_a_dick_1952__1_4 PUNC n23_a_dick_1952__1->n23_a_dick_1952__1_4 n23_a_dick_1952__1_1_1 PRO n23_a_dick_1952__1_1->n23_a_dick_1952__1_1_1 n23_a_dick_1952__1_1_1->n23_a_dick_1952__1_1_1_1 n23_a_dick_1952__1_2->n23_a_dick_1952__1_2_1 n23_a_dick_1952__1_3_1 D n23_a_dick_1952__1_3->n23_a_dick_1952__1_3_1 n23_a_dick_1952__1_3_2 ADJP n23_a_dick_1952__1_3->n23_a_dick_1952__1_3_2 n23_a_dick_1952__1_3_3 N n23_a_dick_1952__1_3->n23_a_dick_1952__1_3_3 n23_a_dick_1952__1_3_4 PUNC n23_a_dick_1952__1_3->n23_a_dick_1952__1_3_4 n23_a_dick_1952__1_3_5 IP-PPL n23_a_dick_1952__1_3->n23_a_dick_1952__1_3_5 n23_a_dick_1952__1_3_1->n23_a_dick_1952__1_3_1_1 n23_a_dick_1952__1_3_2_1 ADJ n23_a_dick_1952__1_3_2->n23_a_dick_1952__1_3_2_1 n23_a_dick_1952__1_3_2_1->n23_a_dick_1952__1_3_2_1_1 n23_a_dick_1952__1_3_3->n23_a_dick_1952__1_3_3_1 n23_a_dick_1952__1_3_4->n23_a_dick_1952__1_3_4_1 n23_a_dick_1952__1_3_5_1 NP-PRD n23_a_dick_1952__1_3_5->n23_a_dick_1952__1_3_5_1 n23_a_dick_1952__1_3_5_1_1 D n23_a_dick_1952__1_3_5_1->n23_a_dick_1952__1_3_5_1_1 n23_a_dick_1952__1_3_5_1_2 ADJP n23_a_dick_1952__1_3_5_1->n23_a_dick_1952__1_3_5_1_2 n23_a_dick_1952__1_3_5_1_3 N n23_a_dick_1952__1_3_5_1->n23_a_dick_1952__1_3_5_1_3 n23_a_dick_1952__1_3_5_1_4 PP n23_a_dick_1952__1_3_5_1->n23_a_dick_1952__1_3_5_1_4 n23_a_dick_1952__1_3_5_1_5 PUNC n23_a_dick_1952__1_3_5_1->n23_a_dick_1952__1_3_5_1_5 n23_a_dick_1952__1_3_5_1_6 IP-PPL n23_a_dick_1952__1_3_5_1->n23_a_dick_1952__1_3_5_1_6 n23_a_dick_1952__1_3_5_1_1->n23_a_dick_1952__1_3_5_1_1_1 n23_a_dick_1952__1_3_5_1_2_1 ADJ n23_a_dick_1952__1_3_5_1_2->n23_a_dick_1952__1_3_5_1_2_1 n23_a_dick_1952__1_3_5_1_2_1->n23_a_dick_1952__1_3_5_1_2_1_1 n23_a_dick_1952__1_3_5_1_3->n23_a_dick_1952__1_3_5_1_3_1 n23_a_dick_1952__1_3_5_1_4_1 P-ROLE n23_a_dick_1952__1_3_5_1_4->n23_a_dick_1952__1_3_5_1_4_1 n23_a_dick_1952__1_3_5_1_4_2 NP n23_a_dick_1952__1_3_5_1_4->n23_a_dick_1952__1_3_5_1_4_2 n23_a_dick_1952__1_3_5_1_4_1->n23_a_dick_1952__1_3_5_1_4_1_1 n23_a_dick_1952__1_3_5_1_4_2_1 ADJP n23_a_dick_1952__1_3_5_1_4_2->n23_a_dick_1952__1_3_5_1_4_2_1 n23_a_dick_1952__1_3_5_1_4_2_1_1 ADJ n23_a_dick_1952__1_3_5_1_4_2_1->n23_a_dick_1952__1_3_5_1_4_2_1_1 n23_a_dick_1952__1_3_5_1_4_2_1_1->n23_a_dick_1952__1_3_5_1_4_2_1_1_1 n23_a_dick_1952__1_3_5_1_5->n23_a_dick_1952__1_3_5_1_5_1 n23_a_dick_1952__1_3_5_1_6_1 VAG;_Ipr_ n23_a_dick_1952__1_3_5_1_6->n23_a_dick_1952__1_3_5_1_6_1 n23_a_dick_1952__1_3_5_1_6_2 PP-CLR n23_a_dick_1952__1_3_5_1_6->n23_a_dick_1952__1_3_5_1_6_2 n23_a_dick_1952__1_3_5_1_6_1->n23_a_dick_1952__1_3_5_1_6_1_1 n23_a_dick_1952__1_3_5_1_6_2_1 P-ROLE n23_a_dick_1952__1_3_5_1_6_2->n23_a_dick_1952__1_3_5_1_6_2_1 n23_a_dick_1952__1_3_5_1_6_2_2 NP n23_a_dick_1952__1_3_5_1_6_2->n23_a_dick_1952__1_3_5_1_6_2_2 n23_a_dick_1952__1_3_5_1_6_2_1->n23_a_dick_1952__1_3_5_1_6_2_1_1 n23_a_dick_1952__1_3_5_1_6_2_2_1 D n23_a_dick_1952__1_3_5_1_6_2_2->n23_a_dick_1952__1_3_5_1_6_2_2_1 n23_a_dick_1952__1_3_5_1_6_2_2_2 N n23_a_dick_1952__1_3_5_1_6_2_2->n23_a_dick_1952__1_3_5_1_6_2_2_2 n23_a_dick_1952__1_3_5_1_6_2_2_3 PP n23_a_dick_1952__1_3_5_1_6_2_2->n23_a_dick_1952__1_3_5_1_6_2_2_3 n23_a_dick_1952__1_3_5_1_6_2_2_1->n23_a_dick_1952__1_3_5_1_6_2_2_1_1 n23_a_dick_1952__1_3_5_1_6_2_2_2->n23_a_dick_1952__1_3_5_1_6_2_2_2_1 n23_a_dick_1952__1_3_5_1_6_2_2_3_1 P-ROLE n23_a_dick_1952__1_3_5_1_6_2_2_3->n23_a_dick_1952__1_3_5_1_6_2_2_3_1 n23_a_dick_1952__1_3_5_1_6_2_2_3_2 NP n23_a_dick_1952__1_3_5_1_6_2_2_3->n23_a_dick_1952__1_3_5_1_6_2_2_3_2 n23_a_dick_1952__1_3_5_1_6_2_2_3_1->n23_a_dick_1952__1_3_5_1_6_2_2_3_1_1 n23_a_dick_1952__1_3_5_1_6_2_2_3_2_1 D n23_a_dick_1952__1_3_5_1_6_2_2_3_2->n23_a_dick_1952__1_3_5_1_6_2_2_3_2_1 n23_a_dick_1952__1_3_5_1_6_2_2_3_2_2 N n23_a_dick_1952__1_3_5_1_6_2_2_3_2->n23_a_dick_1952__1_3_5_1_6_2_2_3_2_2 n23_a_dick_1952__1_3_5_1_6_2_2_3_2_1->n23_a_dick_1952__1_3_5_1_6_2_2_3_2_1_1 n23_a_dick_1952__1_3_5_1_6_2_2_3_2_2->n23_a_dick_1952__1_3_5_1_6_2_2_3_2_2_1 n23_a_dick_1952__1_4->n23_a_dick_1952__1_4_1 
( (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))