( (IP-MAT (EX There;{there})
          (BEP;_ex_V_ is;{be})
          (NP-ESBJ (D a;{a})
                   (IP-PPL (VAG;_I_ pressing;{press}))
                   (N need;{need})
                   (IP-INF (TO to;{to})
                           (VB;_Tn_ support;{support})
                           (NP-OB1 (NS hedgehogs;{hedgehog}))
                           (PP-NIM (P-ROLE in;{in})
                                   (NP (ADJP (ADJ urban;{urban}))
                                       (NS areas;{area})))))
          (PUNC .))
  (ID 74_a_hedgehog;speaker=Colvile))

arc(r_0074_0002__is,r_0074_0003__a_r_0074_0005__need,arg0).
arc(r_0074_0003__a_r_0074_0005__need,r_0074_0007__support,emb).
arc(r_0074_0004__pressing,r_0074_0003__a_r_0074_0005__need,inv_arg0).
arc(r_0074_0007__support,r_0074_0008__hedgehogs,arg1).
arc(r_0074_0007__support,r_0074_0011__areas,r_0074_0009__in__nim).
arc(r_0074_0007__support,z_0074_5005,arg0).
arc(r_0074_0011__areas,r_0074_0010__urban,attrib).

fof(formula,axiom,
    ? [R_0074_0008__HEDGEHOGS,R_0074_0010__URBAN,R_0074_0011__AREAS,Z_0074_5005,R_0074_0007__SUPPORT,R_0074_0004__PRESSING,R_0074_0003__A_R_0074_0005__NEED,R_0074_0002__IS] :
      ( r_0074_0004__pressing(R_0074_0004__PRESSING)
      & r_0074_0008__hedgehogs(R_0074_0008__HEDGEHOGS)
      & r_0074_0010__urban(R_0074_0010__URBAN)
      & z_0074_5005(Z_0074_5005)
      & r_0074_0002__is(R_0074_0002__IS)
      & has_arg0(R_0074_0002__IS,R_0074_0003__A_R_0074_0005__NEED)
      & r_0074_0003__a_r_0074_0005__need(R_0074_0003__A_R_0074_0005__NEED)
      & has_inv_arg0(R_0074_0003__A_R_0074_0005__NEED,R_0074_0004__PRESSING)
      & has_emb(R_0074_0003__A_R_0074_0005__NEED,R_0074_0007__SUPPORT)
      & r_0074_0007__support(R_0074_0007__SUPPORT)
      & has_arg0(R_0074_0007__SUPPORT,Z_0074_5005)
      & has_r_0074_0009__in__nim(R_0074_0007__SUPPORT,R_0074_0011__AREAS)
      & r_0074_0011__areas(R_0074_0011__AREAS)
      & has_attrib(R_0074_0011__AREAS,R_0074_0010__URBAN)
      & has_arg1(R_0074_0007__SUPPORT,R_0074_0008__HEDGEHOGS) ) ).