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_000_27_a_hedgehog_8, arg0).
arc(r_0027_0004__that_r_0027_0010__there_r_0027_0011__are, r_0027_0006__the_r_0027_0008__isles, r_0027_0005__in_nim19).
arc(r_0027_0004__that_r_0027_0010__there_r_0027_0011__are, r_0027_0013__hedgehogs, arg0).
arc(r_0027_0004__that_r_0027_0010__there_r_0027_0011__are, r_0027_0014__at_all, nim38).
arc(r_0027_0006__the_r_0027_0008__isles, r_0027_0007__western, attrib22).
arc(r_0027_0012__no_quant, r_0027_0004__that_r_0027_0010__there_r_0027_0011__are, scope).
arc(r_0027_0012__no_quant, r_0027_0013__hedgehogs, restriction).

fof(formula,axiom,
    ? [R_0027_0001__I,Z_000_27_A_HEDGEHOG_8,R_0027_0002__AM_R_0027_0003__TOLD] :
      ( r_0027_0001__I(R_0027_0001__I)
      & z_000_27_a_hedgehog_8(Z_000_27_A_HEDGEHOG_8)
      & 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_000_27_A_HEDGEHOG_8)
      & ! [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_0004__THAT_R_0027_0010__THERE_R_0027_0011__ARE] :
              ( r_0027_0007__western(R_0027_0007__WESTERN)
              & r_0027_0014__at_all(R_0027_0014__AT_ALL)
              & r_0027_0004__that_r_0027_0010__there_r_0027_0011__are(R_0027_0004__THAT_R_0027_0010__THERE_R_0027_0011__ARE)
              & has_nim38(R_0027_0004__THAT_R_0027_0010__THERE_R_0027_0011__ARE,R_0027_0014__AT_ALL)
              & has_arg0(R_0027_0004__THAT_R_0027_0010__THERE_R_0027_0011__ARE,R_0027_0013__HEDGEHOGS)
              & has_r_0027_0005__in_nim19(R_0027_0004__THAT_R_0027_0010__THERE_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_attrib22(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) ) ).

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