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 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] 
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_4 He n23_a_dick_1952_6 saw n23_a_dick_1952_9 a n23_a_dick_1952_12 vast n23_a_dick_1952_14 expanse n23_a_dick_1952_16 , n23_a_dick_1952_20 an n23_a_dick_1952_23 endless n23_a_dick_1952_25 surface n23_a_dick_1952_28 of n23_a_dick_1952_32 gray n23_a_dick_1952_34 , n23_a_dick_1952_37 stretching n23_a_dick_1952_40 to n23_a_dick_1952_43 the n23_a_dick_1952_45 edge n23_a_dick_1952_48 of n23_a_dick_1952_51 the n23_a_dick_1952_53 planet n23_a_dick_1952_55 . n23_a_dick_1952_1 IP-MAT n23_a_dick_1952_2 NP-SBJ n23_a_dick_1952_1->n23_a_dick_1952_2 n23_a_dick_1952_5 VBD;_Tn_ n23_a_dick_1952_1->n23_a_dick_1952_5 n23_a_dick_1952_7 NP-OB1 n23_a_dick_1952_1->n23_a_dick_1952_7 n23_a_dick_1952_54 PUNC n23_a_dick_1952_1->n23_a_dick_1952_54 n23_a_dick_1952_3 PRO n23_a_dick_1952_2->n23_a_dick_1952_3 n23_a_dick_1952_3->n23_a_dick_1952_4 n23_a_dick_1952_5->n23_a_dick_1952_6 n23_a_dick_1952_8 D n23_a_dick_1952_7->n23_a_dick_1952_8 n23_a_dick_1952_10 ADJP n23_a_dick_1952_7->n23_a_dick_1952_10 n23_a_dick_1952_13 N n23_a_dick_1952_7->n23_a_dick_1952_13 n23_a_dick_1952_15 PUNC n23_a_dick_1952_7->n23_a_dick_1952_15 n23_a_dick_1952_17 IP-PPL n23_a_dick_1952_7->n23_a_dick_1952_17 n23_a_dick_1952_8->n23_a_dick_1952_9 n23_a_dick_1952_11 ADJ n23_a_dick_1952_10->n23_a_dick_1952_11 n23_a_dick_1952_11->n23_a_dick_1952_12 n23_a_dick_1952_13->n23_a_dick_1952_14 n23_a_dick_1952_15->n23_a_dick_1952_16 n23_a_dick_1952_18 NP-PRD n23_a_dick_1952_17->n23_a_dick_1952_18 n23_a_dick_1952_19 D n23_a_dick_1952_18->n23_a_dick_1952_19 n23_a_dick_1952_21 ADJP n23_a_dick_1952_18->n23_a_dick_1952_21 n23_a_dick_1952_24 N n23_a_dick_1952_18->n23_a_dick_1952_24 n23_a_dick_1952_26 PP n23_a_dick_1952_18->n23_a_dick_1952_26 n23_a_dick_1952_33 PUNC n23_a_dick_1952_18->n23_a_dick_1952_33 n23_a_dick_1952_35 IP-PPL n23_a_dick_1952_18->n23_a_dick_1952_35 n23_a_dick_1952_19->n23_a_dick_1952_20 n23_a_dick_1952_22 ADJ n23_a_dick_1952_21->n23_a_dick_1952_22 n23_a_dick_1952_22->n23_a_dick_1952_23 n23_a_dick_1952_24->n23_a_dick_1952_25 n23_a_dick_1952_27 P-ROLE n23_a_dick_1952_26->n23_a_dick_1952_27 n23_a_dick_1952_29 NP n23_a_dick_1952_26->n23_a_dick_1952_29 n23_a_dick_1952_27->n23_a_dick_1952_28 n23_a_dick_1952_30 ADJP n23_a_dick_1952_29->n23_a_dick_1952_30 n23_a_dick_1952_31 ADJ n23_a_dick_1952_30->n23_a_dick_1952_31 n23_a_dick_1952_31->n23_a_dick_1952_32 n23_a_dick_1952_33->n23_a_dick_1952_34 n23_a_dick_1952_36 VAG;_Ipr_ n23_a_dick_1952_35->n23_a_dick_1952_36 n23_a_dick_1952_38 PP-CLR n23_a_dick_1952_35->n23_a_dick_1952_38 n23_a_dick_1952_36->n23_a_dick_1952_37 n23_a_dick_1952_39 P-ROLE n23_a_dick_1952_38->n23_a_dick_1952_39 n23_a_dick_1952_41 NP n23_a_dick_1952_38->n23_a_dick_1952_41 n23_a_dick_1952_39->n23_a_dick_1952_40 n23_a_dick_1952_42 D n23_a_dick_1952_41->n23_a_dick_1952_42 n23_a_dick_1952_44 N n23_a_dick_1952_41->n23_a_dick_1952_44 n23_a_dick_1952_46 PP n23_a_dick_1952_41->n23_a_dick_1952_46 n23_a_dick_1952_42->n23_a_dick_1952_43 n23_a_dick_1952_44->n23_a_dick_1952_45 n23_a_dick_1952_47 P-ROLE n23_a_dick_1952_46->n23_a_dick_1952_47 n23_a_dick_1952_49 NP n23_a_dick_1952_46->n23_a_dick_1952_49 n23_a_dick_1952_47->n23_a_dick_1952_48 n23_a_dick_1952_50 D n23_a_dick_1952_49->n23_a_dick_1952_50 n23_a_dick_1952_52 N n23_a_dick_1952_49->n23_a_dick_1952_52 n23_a_dick_1952_50->n23_a_dick_1952_51 n23_a_dick_1952_52->n23_a_dick_1952_53 n23_a_dick_1952_54->n23_a_dick_1952_55 
( (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))