TSPC 94_a_dick

94_a_dick_1952
A few stars glinted above them, winking through the drifting silt that blew across the surface of the planet.

( (IP-MAT (NP-SBJ (D A_few;{a_few})
                  (NS stars;{star}))
          (VBD;_I_ glinted;{glint})
          (PP-NIM (P-ROLE above;{above})
                  (NP;{TRESPASSERS} (PRO them;{they})))
          (PUNC ,)
          (PP-SCON (IP-PPL (VAG;_Ipr_ winking;{wink[through]})
                           (PP-CLR (P-ROLE through;{through})
                                   (NP (D the;{the})
                                       (IP-PPL (VAG;_I_ drifting;{drifting}))
                                       (N silt;{silt})
                                       (IP-REL (C that;{that})
                                               (NP-SBJ *T*)
                                               (VBD;_Ipr_ blew;{blow[across]})
                                               (PP-CLR (P-ROLE across;{across})
                                                       (NP (D the;{the})
                                                           (N surface;{surface})
                                                           (PP (P-ROLE of;{of})
                                                               (NP (D the;{the})
                                                                   (N planet;{planet}))))))))))
          (PUNC .))
  (ID 94_a_dick_1952))

arc(r_0094_0003__glinted,r_0094_0001__A_few_r_0094_0002__stars,arg0).
arc(r_0094_0003__glinted,r_0094_0005__them,r_0094_0004__above__nim).
arc(r_0094_0007__winking_r_0094_0008__through,r_0094_0001__A_few_r_0094_0002__stars,arg0).
arc(r_0094_0007__winking_r_0094_0008__through,r_0094_0009__the_r_0094_0011__silt,arg1).
arc(r_0094_0010__drifting,r_0094_0009__the_r_0094_0011__silt,inv_arg0).
arc(r_0094_0013__blew_r_0094_0014__across,r_0094_0009__the_r_0094_0011__silt,inv_arg0).
arc(r_0094_0013__blew_r_0094_0014__across,r_0094_0015__the_r_0094_0016__surface,arg1).
arc(r_0094_0015__the_r_0094_0016__surface,r_0094_0018__the_r_0094_0019__planet,r_0094_0017__of).
arc(z_0094_5002,r_0094_0003__glinted,scope).
arc(z_0094_5002,r_0094_0007__winking_r_0094_0008__through,restriction).

fof(formula,axiom,
    ? [R_0094_0001__A_FEW_R_0094_0002__STARS,R_0094_0005__THEM,R_0094_0003__GLINTED,R_0094_0010__DRIFTING,R_0094_0018__THE_R_0094_0019__PLANET,R_0094_0015__THE_R_0094_0016__SURFACE,R_0094_0013__BLEW_R_0094_0014__ACROSS,R_0094_0009__THE_R_0094_0011__SILT,R_0094_0007__WINKING_R_0094_0008__THROUGH,Z_0094_5002] :
      ( r_0094_0001__A_few_r_0094_0002__stars(R_0094_0001__A_FEW_R_0094_0002__STARS)
      & r_0094_0005__them(R_0094_0005__THEM)
      & r_0094_0010__drifting(R_0094_0010__DRIFTING)
      & r_0094_0018__the_r_0094_0019__planet(R_0094_0018__THE_R_0094_0019__PLANET)
      & z_0094_5002(Z_0094_5002)
      & has_conj1(Z_0094_5002,R_0094_0007__WINKING_R_0094_0008__THROUGH)
      & r_0094_0007__winking_r_0094_0008__through(R_0094_0007__WINKING_R_0094_0008__THROUGH)
      & has_arg1(R_0094_0007__WINKING_R_0094_0008__THROUGH,R_0094_0009__THE_R_0094_0011__SILT)
      & r_0094_0009__the_r_0094_0011__silt(R_0094_0009__THE_R_0094_0011__SILT)
      & has_inv_arg0(R_0094_0009__THE_R_0094_0011__SILT,R_0094_0013__BLEW_R_0094_0014__ACROSS)
      & r_0094_0013__blew_r_0094_0014__across(R_0094_0013__BLEW_R_0094_0014__ACROSS)
      & has_arg1(R_0094_0013__BLEW_R_0094_0014__ACROSS,R_0094_0015__THE_R_0094_0016__SURFACE)
      & r_0094_0015__the_r_0094_0016__surface(R_0094_0015__THE_R_0094_0016__SURFACE)
      & has_r_0094_0017__of(R_0094_0015__THE_R_0094_0016__SURFACE,R_0094_0018__THE_R_0094_0019__PLANET)
      & has_inv_arg0(R_0094_0009__THE_R_0094_0011__SILT,R_0094_0010__DRIFTING)
      & has_arg0(R_0094_0007__WINKING_R_0094_0008__THROUGH,R_0094_0001__A_FEW_R_0094_0002__STARS)
      & has_conj2(Z_0094_5002,R_0094_0003__GLINTED)
      & r_0094_0003__glinted(R_0094_0003__GLINTED)
      & has_r_0094_0004__above__nim(R_0094_0003__GLINTED,R_0094_0005__THEM)
      & has_arg0(R_0094_0003__GLINTED,R_0094_0001__A_FEW_R_0094_0002__STARS) ) ).