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,
? [Z_171_A_DICK_1952_12,R_171_8_CRUNCHING,R_171_6_METAL_SHOES,R_171_9_THE_GROUND,R_171_11_UNDERFOOT,R_171_2_WALKED,R_171_1_THEY,R_171_3_TOGETHER] :
( underfoot(R_171_11_UNDERFOOT)
& they(R_171_1_THEY)
& together(R_171_3_TOGETHER)
& z_171_a_dick_1952_12(Z_171_A_DICK_1952_12)
& conj1(Z_171_A_DICK_1952_12,R_171_8_CRUNCHING)
& crunching(R_171_8_CRUNCHING,R_171_6_METAL_SHOES,R_171_9_THE_GROUND)
& metal_shoes(R_171_6_METAL_SHOES)
& gen(R_171_6_METAL_SHOES,R_171_1_THEY)
& the_ground(R_171_9_THE_GROUND)
& qual29(R_171_9_THE_GROUND,R_171_11_UNDERFOOT)
& conj2(Z_171_A_DICK_1952_12,R_171_2_WALKED)
& walked(R_171_2_WALKED,R_171_1_THEY)
& clr7(R_171_2_WALKED,R_171_3_TOGETHER) ) ).
( (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))