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_0096_0001__HE,R_0096_0008__PADDED,R_0096_0009__COAT,R_0096_0004__THE_R_0096_0005__HOOD,R_0096_0002__PUSHED_R_0096_0003__DOWN] :
      ( r_0096_0001__He(R_0096_0001__HE)
      & r_0096_0008__padded(R_0096_0008__PADDED)
      & r_0096_0002__pushed_r_0096_0003__down(R_0096_0002__PUSHED_R_0096_0003__DOWN)
      & has_arg1(R_0096_0002__PUSHED_R_0096_0003__DOWN,R_0096_0004__THE_R_0096_0005__HOOD)
      & r_0096_0004__the_r_0096_0005__hood(R_0096_0004__THE_R_0096_0005__HOOD)
      & has_r_0096_0006__on(R_0096_0004__THE_R_0096_0005__HOOD,R_0096_0009__COAT)
      & r_0096_0009__coat(R_0096_0009__COAT)
      & has_attrib21(R_0096_0009__COAT,R_0096_0008__PADDED)
      & has_gen(R_0096_0009__COAT,R_0096_0001__HE)
      & has_arg0(R_0096_0002__PUSHED_R_0096_0003__DOWN,R_0096_0001__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))