96_a_loosechange
He pushed down the hood on his padded coat.
arc(r_0096_0002__pushed_r_0096_0003__down, r_0096_0001__He, arg0).
arc(r_0096_0002__pushed_r_0096_0003__down, r_0096_0004__the_r_0096_0005__hood, arg1).
arc(r_0096_0004__the_r_0096_0005__hood, r_0096_0009__coat, r_0096_0006__on).
arc(r_0096_0009__coat, r_0096_0001__He, gen).
arc(r_0096_0009__coat, r_0096_0008__padded, attrib21).
fof(formula,axiom,
? [R_96_2_PUSHED_DOWN,R_96_4_THE_HOOD,R_96_9_COAT,R_96_8_PADDED,R_96_1_HE] :
( padded(R_96_8_PADDED)
& he(R_96_1_HE)
& pushed_down(R_96_2_PUSHED_DOWN,R_96_1_HE,R_96_4_THE_HOOD)
& the_hood(R_96_4_THE_HOOD)
& on(R_96_4_THE_HOOD,R_96_9_COAT)
& coat(R_96_9_COAT)
& attrib21(R_96_9_COAT,R_96_8_PADDED)
& gen(R_96_9_COAT,R_96_1_HE) ) ).
( (IP-MAT (NP-SBJ;{BROTHER} (PRO He;{he}))
(VBD;_phr_Vn<=>p_ pushed;{push[down]})
(RP down;{down})
(NP-OB1 (D the;{the})
(N hood;{hood})
(PP (P-ROLE on;{on})
(NP (NP-GEN;{BROTHER} (PRO;_genm_ his;{his}))
(ADJP (ADJ padded;{padded}))
(N coat;{coat}))))
(PUNC .))
(ID 96_a_loosechange))