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.

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_nim12).
arc(r_0094_0007__winking, r_0094_0001__A_few_r_0094_0002__stars, arg0).
arc(r_0094_0007__winking, r_0094_0009__the_r_0094_0011__silt, r_0094_0008__through_clr24).
arc(r_0094_0010__drifting, r_0094_0009__the_r_0094_0011__silt, arg0).
arc(r_0094_0012__that_r_0094_0013__blew, r_0094_0009__the_r_0094_0011__silt, arg0).
arc(r_0094_0012__that_r_0094_0013__blew, r_0094_0015__the_r_0094_0016__surface, r_0094_0014__across_clr42).
arc(r_0094_0015__the_r_0094_0016__surface, r_0094_0018__the_r_0094_0019__planet, r_0094_0017__of).
arc(z_000_94_a_dick_1952_17, r_0094_0003__glinted, scope).
arc(z_000_94_a_dick_1952_17, r_0094_0007__winking, restriction).

fof(formula,axiom,
    ? [R_0094_0009__THE_R_0094_0011__SILT,R_0094_0010__DRIFTING,R_0094_0018__THE_R_0094_0019__PLANET,R_0094_0015__THE_R_0094_0016__SURFACE,R_0094_0012__THAT_R_0094_0013__BLEW,R_0094_0001__A_FEW_R_0094_0002__STARS,R_0094_0005__THEM,R_0094_0003__GLINTED,R_0094_0007__WINKING,Z_000_94_A_DICK_1952_17] :
      ( 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_0009__the_r_0094_0011__silt(R_0094_0009__THE_R_0094_0011__SILT)
      & r_0094_0018__the_r_0094_0019__planet(R_0094_0018__THE_R_0094_0019__PLANET)
      & z_000_94_a_dick_1952_17(Z_000_94_A_DICK_1952_17)
      & has_conj1(Z_000_94_A_DICK_1952_17,R_0094_0007__WINKING)
      & r_0094_0007__winking(R_0094_0007__WINKING)
      & has_r_0094_0008__through_clr24(R_0094_0007__WINKING,R_0094_0009__THE_R_0094_0011__SILT)
      & has_arg0(R_0094_0007__WINKING,R_0094_0001__A_FEW_R_0094_0002__STARS)
      & has_conj2(Z_000_94_A_DICK_1952_17,R_0094_0003__GLINTED)
      & r_0094_0003__glinted(R_0094_0003__GLINTED)
      & has_r_0094_0004__above_nim12(R_0094_0003__GLINTED,R_0094_0005__THEM)
      & has_arg0(R_0094_0003__GLINTED,R_0094_0001__A_FEW_R_0094_0002__STARS)
      & r_0094_0012__that_r_0094_0013__blew(R_0094_0012__THAT_R_0094_0013__BLEW)
      & has_r_0094_0014__across_clr42(R_0094_0012__THAT_R_0094_0013__BLEW,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_arg0(R_0094_0012__THAT_R_0094_0013__BLEW,R_0094_0009__THE_R_0094_0011__SILT)
      & r_0094_0010__drifting(R_0094_0010__DRIFTING)
      & has_arg0(R_0094_0010__DRIFTING,R_0094_0009__THE_R_0094_0011__SILT) ) ).

( (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))