TSPC 171_a_dick

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

arc(r_0171_0002__walked, r_0171_0001__They, arg0).
arc(r_0171_0002__walked, r_0171_0003__together, clr7).
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, qual29).
arc(z_000_171_a_dick_1952_12, r_0171_0002__walked, scope).
arc(z_000_171_a_dick_1952_12, r_0171_0008__crunching, restriction).

fof(formula,axiom,
    ? [R_0171_0001__THEY,R_0171_0003__TOGETHER,R_0171_0002__WALKED,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_000_171_A_DICK_1952_12] :
      ( r_0171_0001__They(R_0171_0001__THEY)
      & r_0171_0003__together(R_0171_0003__TOGETHER)
      & r_0171_0011__underfoot(R_0171_0011__UNDERFOOT)
      & z_000_171_a_dick_1952_12(Z_000_171_A_DICK_1952_12)
      & has_conj1(Z_000_171_A_DICK_1952_12,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_qual29(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_000_171_A_DICK_1952_12,R_0171_0002__WALKED)
      & r_0171_0002__walked(R_0171_0002__WALKED)
      & has_clr7(R_0171_0002__WALKED,R_0171_0003__TOGETHER)
      & has_arg0(R_0171_0002__WALKED,R_0171_0001__THEY) ) ).

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