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_65_3_INCREASES,R_65_2_SIMILAR] :
      ( ( similar(R_65_2_SIMILAR)
        & increases(R_65_3_INCREASES)
        & attrib5(R_65_3_INCREASES,R_65_2_SIMILAR) )
     => ? [R_65_4_WERE_DETECTED,Z_65_A_HEDGEHOG_13,R_65_8_SITES,R_65_7_RURAL] :
          ( rural(R_65_7_RURAL)
          & were_detected(R_65_4_WERE_DETECTED,Z_65_A_HEDGEHOG_13,R_65_3_INCREASES)
          & in_nim20(R_65_4_WERE_DETECTED,R_65_8_SITES)
          & sites(R_65_8_SITES)
          & attrib21(R_65_8_SITES,R_65_7_RURAL) ) ) ).

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