TSPC 23_a_dick

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

( (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 ,)
                            (PRN (NP (D an;{an})
                                     (ADJP (ADJ endless;{endless}))
                                     (N surface;{surface})
                                     (PP (P-ROLE of;{of})
                                         (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))

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,attrib).
arc(r_0023_0007__an_r_0023_0009__surface,r_0023_0008__endless,attrib).
arc(r_0023_0007__an_r_0023_0009__surface,r_0023_0011__gray,r_0023_0010__of).
arc(r_0023_0013__stretching_r_0023_0014__to,r_0023_0007__an_r_0023_0009__surface,inv_arg0).
arc(r_0023_0013__stretching_r_0023_0014__to,r_0023_0015__the_r_0023_0016__edge,arg1).
arc(r_0023_0015__the_r_0023_0016__edge,r_0023_0018__the_r_0023_0019__planet,r_0023_0017__of).
arc(z_0023_5009,r_0023_0003__a_r_0023_0005__expanse,arg0).
arc(z_0023_5009,r_0023_0007__an_r_0023_0009__surface,prd).

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,R_0023_0018__THE_R_0023_0019__PLANET,R_0023_0015__THE_R_0023_0016__EDGE,R_0023_0013__STRETCHING_R_0023_0014__TO,R_0023_0007__AN_R_0023_0009__SURFACE,Z_0023_5009] :
      ( 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_0023_5009(Z_0023_5009)
      & has_prd(Z_0023_5009,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_inv_arg0(R_0023_0007__AN_R_0023_0009__SURFACE,R_0023_0013__STRETCHING_R_0023_0014__TO)
      & r_0023_0013__stretching_r_0023_0014__to(R_0023_0013__STRETCHING_R_0023_0014__TO)
      & has_arg1(R_0023_0013__STRETCHING_R_0023_0014__TO,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_r_0023_0010__of(R_0023_0007__AN_R_0023_0009__SURFACE,R_0023_0011__GRAY)
      & has_attrib(R_0023_0007__AN_R_0023_0009__SURFACE,R_0023_0008__ENDLESS)
      & has_arg0(Z_0023_5009,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_attrib(R_0023_0003__A_R_0023_0005__EXPANSE,R_0023_0004__VAST)
      & 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) ) ).