TSPC 171_a_dick

171_a_dick_1952
They walked together, their metal shoes crunching the ground underfoot.

( (IP-MAT (NP-SBJ;{DORLE+NASHA} (PRO They;{they}))
          (VBD;_Ip_ walked;{walk[together]})
          (ADVP-CLR (ADV together;{together}))
          (PUNC ,)
          (PP-SCON (IP-PPL3 (NP-SBJ (NP-GEN;{DORLE+NASHA} (PRO;_genm_ their;{their}))
                                    (N metal;{metal})
                                    (NS shoes;{shoe}))
                            (VAG;_Tn_ crunching;{crunch})
                            (NP-OB1 (D the;{the})
                                    (N ground;{ground})
                                    (ADVP-NIM (ADV underfoot;{underfoot})))))
          (PUNC .))
  (ID 171_a_dick_1952))

arc(r_0171_0002__walked_r_0171_0003__together,r_0171_0001__They,arg0).
arc(r_0171_0006__metal_r_0171_0007__shoes,r_0171_0001__They,gen).
arc(r_0171_0008__crunching,r_0171_0006__metal_r_0171_0007__shoes,arg0).
arc(r_0171_0008__crunching,r_0171_0009__the_r_0171_0010__ground,arg1).
arc(r_0171_0009__the_r_0171_0010__ground,r_0171_0011__underfoot,nim).
arc(z_0171_5001,r_0171_0002__walked_r_0171_0003__together,scope).
arc(z_0171_5001,r_0171_0008__crunching,restriction).

fof(formula,axiom,
    ? [R_0171_0001__THEY,R_0171_0002__WALKED_R_0171_0003__TOGETHER,R_0171_0006__METAL_R_0171_0007__SHOES,R_0171_0011__UNDERFOOT,R_0171_0009__THE_R_0171_0010__GROUND,R_0171_0008__CRUNCHING,Z_0171_5001] :
      ( r_0171_0001__They(R_0171_0001__THEY)
      & r_0171_0011__underfoot(R_0171_0011__UNDERFOOT)
      & z_0171_5001(Z_0171_5001)
      & has_conj1(Z_0171_5001,R_0171_0008__CRUNCHING)
      & r_0171_0008__crunching(R_0171_0008__CRUNCHING)
      & has_arg1(R_0171_0008__CRUNCHING,R_0171_0009__THE_R_0171_0010__GROUND)
      & r_0171_0009__the_r_0171_0010__ground(R_0171_0009__THE_R_0171_0010__GROUND)
      & has_nim(R_0171_0009__THE_R_0171_0010__GROUND,R_0171_0011__UNDERFOOT)
      & has_arg0(R_0171_0008__CRUNCHING,R_0171_0006__METAL_R_0171_0007__SHOES)
      & r_0171_0006__metal_r_0171_0007__shoes(R_0171_0006__METAL_R_0171_0007__SHOES)
      & has_gen(R_0171_0006__METAL_R_0171_0007__SHOES,R_0171_0001__THEY)
      & has_conj2(Z_0171_5001,R_0171_0002__WALKED_R_0171_0003__TOGETHER)
      & r_0171_0002__walked_r_0171_0003__together(R_0171_0002__WALKED_R_0171_0003__TOGETHER)
      & has_arg0(R_0171_0002__WALKED_R_0171_0003__TOGETHER,R_0171_0001__THEY) ) ).