TSPC 283_a_dick

283_a_dick_1952
He squatted in the dust, running his gloved fingers over the surface of the stone.

( (IP-MAT (NP-SBJ;{TANCE} (PRO He;{he}))
          (VBD;_I_ squatted;{squat})
          (PP-NIM (P-ROLE in;{in})
                  (NP (D the;{the})
                      (N dust;{dust})))
          (PUNC ,)
          (PP-SCON (IP-PPL (VAG;_Tn.pr_ running;{run[over]})
                           (NP-OB1 (NP-GEN;{TANCE} (PRO;_genm_ his;{his}))
                                   (IP-PPL (NP-LGS *)
                                           (VVN;_Tn_ gloved;{glove}))
                                   (NS fingers;{finger}))
                           (PP-CLR (P-ROLE over;{over})
                                   (NP (D the;{the})
                                       (N surface;{surface})
                                       (PP (P-ROLE of;{of})
                                           (NP (D the;{the})
                                               (N stone;{stone})))))))
          (PUNC .))
  (ID 283_a_dick_1952))

arc(r_0283_0002__squatted,r_0283_0001__He,arg0).
arc(r_0283_0002__squatted,r_0283_0004__the_r_0283_0005__dust,r_0283_0003__in__nim).
arc(r_0283_0007__running_r_0283_0011__over,r_0283_0001__He,arg0).
arc(r_0283_0007__running_r_0283_0011__over,r_0283_0010__fingers,arg1).
arc(r_0283_0007__running_r_0283_0011__over,r_0283_0012__the_r_0283_0013__surface,arg2).
arc(r_0283_0009__gloved,r_0283_0010__fingers,inv_arg1).
arc(r_0283_0009__gloved,z_0283_5005___star_,arg0).
arc(r_0283_0010__fingers,r_0283_0001__He,gen).
arc(r_0283_0012__the_r_0283_0013__surface,r_0283_0015__the_r_0283_0016__stone,r_0283_0014__of).
arc(z_0283_5001,r_0283_0002__squatted,scope).
arc(z_0283_5001,r_0283_0007__running_r_0283_0011__over,restriction).

fof(formula,axiom,
    ? [R_0283_0001__HE,R_0283_0004__THE_R_0283_0005__DUST,R_0283_0002__SQUATTED,Z_0283_5005___STAR_,R_0283_0009__GLOVED,R_0283_0010__FINGERS,R_0283_0015__THE_R_0283_0016__STONE,R_0283_0012__THE_R_0283_0013__SURFACE,R_0283_0007__RUNNING_R_0283_0011__OVER,Z_0283_5001] :
      ( r_0283_0001__He(R_0283_0001__HE)
      & r_0283_0004__the_r_0283_0005__dust(R_0283_0004__THE_R_0283_0005__DUST)
      & r_0283_0015__the_r_0283_0016__stone(R_0283_0015__THE_R_0283_0016__STONE)
      & z_0283_5005___star_(Z_0283_5005___STAR_)
      & z_0283_5001(Z_0283_5001)
      & has_conj1(Z_0283_5001,R_0283_0007__RUNNING_R_0283_0011__OVER)
      & r_0283_0007__running_r_0283_0011__over(R_0283_0007__RUNNING_R_0283_0011__OVER)
      & has_arg2(R_0283_0007__RUNNING_R_0283_0011__OVER,R_0283_0012__THE_R_0283_0013__SURFACE)
      & r_0283_0012__the_r_0283_0013__surface(R_0283_0012__THE_R_0283_0013__SURFACE)
      & has_r_0283_0014__of(R_0283_0012__THE_R_0283_0013__SURFACE,R_0283_0015__THE_R_0283_0016__STONE)
      & has_arg1(R_0283_0007__RUNNING_R_0283_0011__OVER,R_0283_0010__FINGERS)
      & r_0283_0010__fingers(R_0283_0010__FINGERS)
      & has_gen(R_0283_0010__FINGERS,R_0283_0001__HE)
      & has_inv_arg1(R_0283_0010__FINGERS,R_0283_0009__GLOVED)
      & r_0283_0009__gloved(R_0283_0009__GLOVED)
      & has_arg0(R_0283_0009__GLOVED,Z_0283_5005___STAR_)
      & has_arg0(R_0283_0007__RUNNING_R_0283_0011__OVER,R_0283_0001__HE)
      & has_conj2(Z_0283_5001,R_0283_0002__SQUATTED)
      & r_0283_0002__squatted(R_0283_0002__SQUATTED)
      & has_r_0283_0003__in__nim(R_0283_0002__SQUATTED,R_0283_0004__THE_R_0283_0005__DUST)
      & has_arg0(R_0283_0002__SQUATTED,R_0283_0001__HE) ) ).