( (IP-MAT (NP-SBJ (PRO I;{I}))
          (BEP;_cat_VePASS_ am;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Dn.f_ told;{tell})
                      (CP-THT-OB1 (IP-SUB (C that;{that})
                                          (PP-NIM (P-ROLE in;{in})
                                                  (NP (D the;{the})
                                                      (ADJP (ADJ western;{western}))
                                                      (NS isles;{isle})))
                                          (PUNC ,)
                                          (EX there;{there})
                                          (BEP;_ex_V_ are;{be})
                                          (NP-ESBJ (Q no;{no})
                                                   (NS hedgehogs;{hedgehog}))
                                          (ADVP-NIM (ADV at_all;{at_all})))))
          (PUNC .))
  (ID 27_a_hedgehog;speaker=Colvile))

arc(r_0027_0002__am,r_0027_0003__told,scope).
arc(r_0027_0003__told,r_0027_0001__I,arg2).
arc(r_0027_0003__told,r_0027_0012__no__quant,arg1).
arc(r_0027_0003__told,z_0027_5009___star_,arg0).
arc(r_0027_0006__the_r_0027_0008__isles,r_0027_0007__western,attrib).
arc(r_0027_0011__are,r_0027_0006__the_r_0027_0008__isles,r_0027_0005__in__nim).
arc(r_0027_0011__are,r_0027_0013__hedgehogs,arg0).
arc(r_0027_0011__are,r_0027_0014__at_all,nim).
arc(r_0027_0012__no__quant,r_0027_0011__are,scope).
arc(r_0027_0012__no__quant,r_0027_0013__hedgehogs,restriction).

fof(formula,axiom,
    ? [R_0027_0001__I,Z_0027_5009___STAR_,R_0027_0002__AM_R_0027_0003__TOLD] :
      ( r_0027_0001__I(R_0027_0001__I)
      & z_0027_5009___star_(Z_0027_5009___STAR_)
      & r_0027_0002__am_r_0027_0003__told(R_0027_0002__AM_R_0027_0003__TOLD)
      & has_arg0(R_0027_0002__AM_R_0027_0003__TOLD,Z_0027_5009___STAR_)
      & ! [R_0027_0013__HEDGEHOGS] :
          ( r_0027_0013__hedgehogs(R_0027_0013__HEDGEHOGS)
         => ? [R_0027_0007__WESTERN,R_0027_0006__THE_R_0027_0008__ISLES,R_0027_0014__AT_ALL,R_0027_0011__ARE] :
              ( r_0027_0007__western(R_0027_0007__WESTERN)
              & r_0027_0014__at_all(R_0027_0014__AT_ALL)
              & r_0027_0011__are(R_0027_0011__ARE)
              & has_nim(R_0027_0011__ARE,R_0027_0014__AT_ALL)
              & has_arg0(R_0027_0011__ARE,R_0027_0013__HEDGEHOGS)
              & has_r_0027_0005__in__nim(R_0027_0011__ARE,R_0027_0006__THE_R_0027_0008__ISLES)
              & r_0027_0006__the_r_0027_0008__isles(R_0027_0006__THE_R_0027_0008__ISLES)
              & has_attrib(R_0027_0006__THE_R_0027_0008__ISLES,R_0027_0007__WESTERN) ) )
      & has_arg2(R_0027_0002__AM_R_0027_0003__TOLD,R_0027_0001__I) ) ).