arc(r_0069_0001__A_r_0069_0004__study, r_0069_0003__recent, attrib5).
arc(r_0069_0001__A_r_0069_0004__study, r_0069_0006__2014, r_0069_0005__in).
arc(r_0069_0003__recent, r_0069_0002__more, qual6).
arc(r_0069_0007__found, r_0069_0001__A_r_0069_0004__study, arg0).
arc(r_0069_0007__found, r_0069_0017__not, arg1).
arc(r_0069_0008__that_r_0069_0016__did_r_0069_0018__change, r_0069_0010__areas, r_0069_0009__in_nim28).
arc(r_0069_0008__that_r_0069_0016__did_r_0069_0018__change, r_0069_0015__counts, arg0).
arc(r_0069_0010__areas, r_0069_0013__habitat, r_0069_0011__of).
arc(r_0069_0013__habitat, r_0069_0012__preferred, attrib35).
arc(r_0069_0017__not, r_0069_0019__where, keep_scope).
arc(r_0069_0019__where, r_0069_0008__that_r_0069_0016__did_r_0069_0018__change, scope).
arc(r_0069_0019__where, r_0069_0022__no_quant, restriction).
arc(r_0069_0020__there_r_0069_0021__was, r_0069_0023__badger_r_0069_0024__culling, arg0).
arc(r_0069_0022__no_quant, r_0069_0020__there_r_0069_0021__was, scope).
arc(r_0069_0022__no_quant, r_0069_0023__badger_r_0069_0024__culling, restriction).

fof(formula,axiom,
    ? [R_69_7_FOUND,R_69_1_A_STUDY,R_69_3_RECENT,R_69_2_MORE,R_69_6_2014] :
      ( more(R_69_2_MORE)
      & 2014(R_69_6_2014)
      & found(R_69_7_FOUND,R_69_1_A_STUDY,R_69_17_NOT)
      & a_study(R_69_1_A_STUDY)
      & attrib5(R_69_1_A_STUDY,R_69_3_RECENT)
      & recent(R_69_3_RECENT)
      & qual6(R_69_3_RECENT,R_69_2_MORE)
      & in(R_69_1_A_STUDY,R_69_6_2014)
      & ~ ? [R_69_19_WHERE,R_69_8_THAT_DID_CHANGE,R_69_15_COUNTS,R_69_10_AREAS,R_69_13_HABITAT,R_69_12_PREFERRED] :
            ( counts(R_69_15_COUNTS)
            & preferred(R_69_12_PREFERRED)
            & ! [R_69_23_BADGER_CULLING] :
                ( badger_culling(R_69_23_BADGER_CULLING)
               => ? [R_69_20_THERE_WAS] : there_was(R_69_20_THERE_WAS,R_69_23_BADGER_CULLING) )
            & conj1(CONJ1)
            & where(R_69_19_WHERE)
            & conj2(R_69_19_WHERE,R_69_8_THAT_DID_CHANGE)
            & that_did_change(R_69_8_THAT_DID_CHANGE,R_69_15_COUNTS)
            & in_nim28(R_69_8_THAT_DID_CHANGE,R_69_10_AREAS)
            & areas(R_69_10_AREAS)
            & of(R_69_10_AREAS,R_69_13_HABITAT)
            & habitat(R_69_13_HABITAT)
            & attrib35(R_69_13_HABITAT,R_69_12_PREFERRED) ) ) ).

( (IP-MAT (NP-SBJ (D A;{a})
                  (ADJP (ADVP (ADVR more;{more}))
                        (ADJ recent;{recent}))
                  (N study;{study})
                  (PP (P-ROLE in;{in})
                      (NP (NPR 2014))))
          (VBD;_Tf_ found;{find})
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (PP-NIM (P-ROLE in;{in})
                                      (NP (NS areas;{area})
                                          (PP (P-ROLE of;{of})
                                              (NP (ADJP (ADJ preferred;{preferred}))
                                                  (N habitat;{habitat})))))
                              (PUNC ,)
                              (NP-SBJ (NS counts;{count}))
                              (DOD did;{do})
                              (NEG not;{not})
                              (VB;_I_ change;{change})
                              (PP-SCON (P-CONN where;{where})
                                       (IP-ADV (EX there;{there})
                                               (BED;_ex_V_ was;{be})
                                               (NP-ESBJ (Q no;{no})
                                                        (N badger;{badger})
                                                        (N culling;{culling}))))))
          (PUNC .))
  (ID 69_a_hedgehog;speaker=Colvile))