( (IP-MAT (NP-SBJ;{HABITAT} (D The;{the})
                            (N habitat;{habitat})
                            (IP-REL (C that;{that})
                                    (NP-SBJ *T*)
                                    (VBP;_Tn_ suits;{suit})
                                    (NP-OB1 (D the;{the})
                                            (N hedgehog;{hedgehog}))))
          (BEP;_Ln_ is;{be})
          (NP-PRD (ADJP (ADJ liminal;{liminal}))
                  (N land;{land}))
          (PUNC :)
          (PRN (IP-MAT (NP-SBJ;{HABITAT} (PRO it;{it}))
                       (BEP;_Ln_ is;{be})
                       (NP-PRD (NLYR (NLYR (N edge;{edge})
                                           (N land;{land}))
                                     (PUNC ,)
                                     (NLYR (NS hedgerows;{hedgerow}))
                                     (CONJP (CONJ and;{and})
                                            (NLYR (ADJP (ADJ dry;{dry}))
                                                  (N land;{land})))))))
          (PUNC .))
  (ID 142_a_hedgehog;speaker=Stewart))

arc(r_0142_0004__suits,r_0142_0001__The_r_0142_0002__habitat,inv_arg0).
arc(r_0142_0004__suits,r_0142_0005__the_r_0142_0006__hedgehog,arg1).
arc(r_0142_0007__is,r_0142_0001__The_r_0142_0002__habitat,arg0).
arc(r_0142_0007__is,r_0142_0009__land,prd).
arc(r_0142_0007__is,r_0142_0012__is,prn).
arc(r_0142_0009__land,r_0142_0008__liminal,attrib).
arc(r_0142_0012__is,r_0142_0001__The_r_0142_0002__habitat,arg0).
arc(r_0142_0012__is,r_0142_0017__and,prd).
arc(r_0142_0017__and,r_0142_0013__edge_r_0142_0014__land,conj1).
arc(r_0142_0017__and,r_0142_0016__hedgerows,conj2).
arc(r_0142_0017__and,r_0142_0019__land,conj3).
arc(r_0142_0019__land,r_0142_0018__dry,attrib).

fof(formula,axiom,
    ? [R_0142_0005__THE_R_0142_0006__HEDGEHOG,R_0142_0004__SUITS,R_0142_0001__THE_R_0142_0002__HABITAT,R_0142_0008__LIMINAL,R_0142_0009__LAND,R_0142_0013__EDGE_R_0142_0014__LAND,R_0142_0016__HEDGEROWS,R_0142_0018__DRY,R_0142_0019__LAND,R_0142_0017__AND,R_0142_0012__IS,R_0142_0007__IS] :
      ( r_0142_0005__the_r_0142_0006__hedgehog(R_0142_0005__THE_R_0142_0006__HEDGEHOG)
      & r_0142_0008__liminal(R_0142_0008__LIMINAL)
      & r_0142_0013__edge_r_0142_0014__land(R_0142_0013__EDGE_R_0142_0014__LAND)
      & r_0142_0016__hedgerows(R_0142_0016__HEDGEROWS)
      & r_0142_0018__dry(R_0142_0018__DRY)
      & r_0142_0007__is(R_0142_0007__IS)
      & has_prn(R_0142_0007__IS,R_0142_0012__IS)
      & r_0142_0012__is(R_0142_0012__IS)
      & has_prd(R_0142_0012__IS,R_0142_0017__AND)
      & r_0142_0017__and(R_0142_0017__AND)
      & has_conj3(R_0142_0017__AND,R_0142_0019__LAND)
      & r_0142_0019__land(R_0142_0019__LAND)
      & has_attrib(R_0142_0019__LAND,R_0142_0018__DRY)
      & has_conj2(R_0142_0017__AND,R_0142_0016__HEDGEROWS)
      & has_conj1(R_0142_0017__AND,R_0142_0013__EDGE_R_0142_0014__LAND)
      & has_arg0(R_0142_0012__IS,R_0142_0001__THE_R_0142_0002__HABITAT)
      & r_0142_0001__The_r_0142_0002__habitat(R_0142_0001__THE_R_0142_0002__HABITAT)
      & has_inv_arg0(R_0142_0001__THE_R_0142_0002__HABITAT,R_0142_0004__SUITS)
      & r_0142_0004__suits(R_0142_0004__SUITS)
      & has_arg1(R_0142_0004__SUITS,R_0142_0005__THE_R_0142_0006__HEDGEHOG)
      & has_prd(R_0142_0007__IS,R_0142_0009__LAND)
      & r_0142_0009__land(R_0142_0009__LAND)
      & has_attrib(R_0142_0009__LAND,R_0142_0008__LIMINAL)
      & has_arg0(R_0142_0007__IS,R_0142_0001__THE_R_0142_0002__HABITAT) ) ).