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, attrib5).
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_nim20).
arc(r_0065_0005__detected, z_000_65_a_hedgehog_13, arg0).
arc(r_0065_0008__sites, r_0065_0007__rural, attrib21).

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_attrib5(R_0065_0003__INCREASES,R_0065_0002__SIMILAR) )
     => ? [R_0065_0007__RURAL,R_0065_0008__SITES,Z_000_65_A_HEDGEHOG_13,R_0065_0004__WERE_R_0065_0005__DETECTED] :
          ( r_0065_0007__rural(R_0065_0007__RURAL)
          & z_000_65_a_hedgehog_13(Z_000_65_A_HEDGEHOG_13)
          & 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_000_65_A_HEDGEHOG_13)
          & has_r_0065_0006__in_nim20(R_0065_0004__WERE_R_0065_0005__DETECTED,R_0065_0008__SITES)
          & r_0065_0008__sites(R_0065_0008__SITES)
          & has_attrib21(R_0065_0008__SITES,R_0065_0007__RURAL)
          & has_arg1(R_0065_0004__WERE_R_0065_0005__DETECTED,R_0065_0003__INCREASES) ) ) ).

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