( (IP-MAT (NP-SBJ (Q No;{no})
                  (ADJP (ADJ similar;{similar}))
                  (NS increases;{increase}))
          (BED;_cat_VePASS_ were;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ detected;{detect})
                      (PP-NIM (P-ROLE in;{in})
                              (NP (ADJP (ADJ rural;{rural}))
                                  (NS sites;{site}))))
          (PUNC .))
  (ID 65_a_hedgehog;speaker=Colvile))

arc(r_0065_0001__No__quant,r_0065_0003__increases,restriction).
arc(r_0065_0001__No__quant,r_0065_0004__were,scope).
arc(r_0065_0003__increases,r_0065_0002__similar,attrib).
arc(r_0065_0004__were,r_0065_0005__detected,scope).
arc(r_0065_0005__detected,r_0065_0003__increases,arg1).
arc(r_0065_0005__detected,r_0065_0008__sites,r_0065_0006__in__nim).
arc(r_0065_0005__detected,z_0065_5007___star_,arg0).
arc(r_0065_0008__sites,r_0065_0007__rural,attrib).

fof(formula,axiom,
    ! [R_0065_0003__INCREASES,R_0065_0002__SIMILAR] :
      ( ( r_0065_0002__similar(R_0065_0002__SIMILAR)
        & r_0065_0003__increases(R_0065_0003__INCREASES)
        & has_attrib(R_0065_0003__INCREASES,R_0065_0002__SIMILAR) )
     => ? [R_0065_0007__RURAL,R_0065_0008__SITES,Z_0065_5007___STAR_,R_0065_0004__WERE_R_0065_0005__DETECTED] :
          ( r_0065_0007__rural(R_0065_0007__RURAL)
          & z_0065_5007___star_(Z_0065_5007___STAR_)
          & r_0065_0004__were_r_0065_0005__detected(R_0065_0004__WERE_R_0065_0005__DETECTED)
          & has_arg0(R_0065_0004__WERE_R_0065_0005__DETECTED,Z_0065_5007___STAR_)
          & has_r_0065_0006__in__nim(R_0065_0004__WERE_R_0065_0005__DETECTED,R_0065_0008__SITES)
          & r_0065_0008__sites(R_0065_0008__SITES)
          & has_attrib(R_0065_0008__SITES,R_0065_0007__RURAL)
          & has_arg1(R_0065_0004__WERE_R_0065_0005__DETECTED,R_0065_0003__INCREASES) ) ) ).