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

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,attrib).

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