arc(r_0168_0003__that_r_0168_0015__has, r_0168_0016__brought, scope).
arc(r_0168_0005__hon_dot__r_0168_0006__Friend, r_0168_0004__my, gen).
arc(r_0168_0007__the_r_0168_0008__Member, r_0168_0013__and, r_0168_0009__for).
arc(r_0168_0013__and, r_0168_0010__Plymouth, conj1).
arc(r_0168_0013__and, r_0168_0012__Sutton, conj2).
arc(r_0168_0013__and, r_0168_0014__Devonport, conj3).
arc(r_0168_0016__brought, r_0168_0001__The_r_0168_0002__energy, arg1).
arc(r_0168_0016__brought, r_0168_0005__hon_dot__r_0168_0006__Friend, arg0).
arc(r_0168_0016__brought, r_0168_0018__the_r_0168_0019__debate, r_0168_0017__to_nim56).
arc(r_0168_0020__is, r_0168_0001__The_r_0168_0002__energy, arg0).
arc(r_0168_0020__is, r_0168_0021__a_r_0168_0023__example, prd).
arc(r_0168_0021__a_r_0168_0023__example, r_0168_0022__great, attrib66).
arc(r_0168_0021__a_r_0168_0023__example, r_0168_0031__eccentricity, r_0168_0024__of).
arc(r_0168_0027__or, r_0168_0025__British, conj1).
arc(r_0168_0027__or, r_0168_0029__English, conj2).
arc(r_0168_0029__English, r_0168_0028__perhaps, qual86).
arc(r_0168_0031__eccentricity, r_0168_0027__or, attrib75).
arc(r_0168_0033__and, r_0168_0020__is, conj1).
arc(r_0168_0033__and, r_0168_0035__is, conj2).
arc(r_0168_0035__is, r_0168_0037__the_r_0168_0038__basis, r_0168_0036__on_clr109).
arc(r_0168_0035__is, r_0168_0042__that_r_0168_0045__has, arg0).
arc(r_0168_0037__the_r_0168_0038__basis, r_0168_0040__English_r_0168_0041__eccentricity, r_0168_0039__of).
arc(r_0168_0042__that_r_0168_0045__has, r_0168_0046__been, scope).
arc(r_0168_0044__habitat, r_0168_0043__our, gen).
arc(r_0168_0046__been, r_0168_0047__preserved, scope).
arc(r_0168_0047__preserved, r_0168_0044__habitat, arg1).
arc(r_0168_0047__preserved, z_000_168_a_hedgehog_138, arg0).
arc(z_000_168_a_hedgehog_20, r_0168_0005__hon_dot__r_0168_0006__Friend, arg0).
arc(z_000_168_a_hedgehog_20, r_0168_0007__the_r_0168_0008__Member, prd).

fof(formula,axiom,
    ? [R_0168_0001__THE_R_0168_0002__ENERGY,R_0168_0004__MY,R_0168_0005__HON_DOT__R_0168_0006__FRIEND,R_0168_0018__THE_R_0168_0019__DEBATE,R_0168_0003__THAT_R_0168_0015__HAS_R_0168_0016__BROUGHT,R_0168_0022__GREAT,R_0168_0025__BRITISH,R_0168_0028__PERHAPS,R_0168_0029__ENGLISH,R_0168_0027__OR,R_0168_0031__ECCENTRICITY,R_0168_0021__A_R_0168_0023__EXAMPLE,R_0168_0020__IS,R_0168_0040__ENGLISH_R_0168_0041__ECCENTRICITY,R_0168_0037__THE_R_0168_0038__BASIS,R_0168_0043__OUR,R_0168_0044__HABITAT,Z_000_168_A_HEDGEHOG_138,R_0168_0042__THAT_R_0168_0045__HAS_R_0168_0046__BEEN_R_0168_0047__PRESERVED,R_0168_0035__IS,R_0168_0033__AND,R_0168_0010__PLYMOUTH,R_0168_0012__SUTTON,R_0168_0014__DEVONPORT,R_0168_0013__AND,R_0168_0007__THE_R_0168_0008__MEMBER,Z_000_168_A_HEDGEHOG_20] :
      ( r_0168_0001__The_r_0168_0002__energy(R_0168_0001__THE_R_0168_0002__ENERGY)
      & r_0168_0004__my(R_0168_0004__MY)
      & r_0168_0010__Plymouth(R_0168_0010__PLYMOUTH)
      & r_0168_0012__Sutton(R_0168_0012__SUTTON)
      & r_0168_0014__Devonport(R_0168_0014__DEVONPORT)
      & r_0168_0018__the_r_0168_0019__debate(R_0168_0018__THE_R_0168_0019__DEBATE)
      & r_0168_0022__great(R_0168_0022__GREAT)
      & r_0168_0025__British(R_0168_0025__BRITISH)
      & r_0168_0028__perhaps(R_0168_0028__PERHAPS)
      & r_0168_0040__English_r_0168_0041__eccentricity(R_0168_0040__ENGLISH_R_0168_0041__ECCENTRICITY)
      & r_0168_0043__our(R_0168_0043__OUR)
      & z_000_168_a_hedgehog_138(Z_000_168_A_HEDGEHOG_138)
      & z_000_168_a_hedgehog_20(Z_000_168_A_HEDGEHOG_20)
      & has_prd(Z_000_168_A_HEDGEHOG_20,R_0168_0007__THE_R_0168_0008__MEMBER)
      & r_0168_0007__the_r_0168_0008__Member(R_0168_0007__THE_R_0168_0008__MEMBER)
      & has_r_0168_0009__for(R_0168_0007__THE_R_0168_0008__MEMBER,R_0168_0013__AND)
      & r_0168_0013__and(R_0168_0013__AND)
      & has_conj3(R_0168_0013__AND,R_0168_0014__DEVONPORT)
      & has_conj2(R_0168_0013__AND,R_0168_0012__SUTTON)
      & has_conj1(R_0168_0013__AND,R_0168_0010__PLYMOUTH)
      & has_arg0(Z_000_168_A_HEDGEHOG_20,R_0168_0005__HON_DOT__R_0168_0006__FRIEND)
      & r_0168_0005__hon_dot__r_0168_0006__Friend(R_0168_0005__HON_DOT__R_0168_0006__FRIEND)
      & has_gen(R_0168_0005__HON_DOT__R_0168_0006__FRIEND,R_0168_0004__MY)
      & r_0168_0033__and(R_0168_0033__AND)
      & has_conj2(R_0168_0033__AND,R_0168_0035__IS)
      & r_0168_0035__is(R_0168_0035__IS)
      & has_arg0(R_0168_0035__IS,R_0168_0042__THAT_R_0168_0045__HAS_R_0168_0046__BEEN_R_0168_0047__PRESERVED)
      & r_0168_0042__that_r_0168_0045__has_r_0168_0046__been_r_0168_0047__preserved(R_0168_0042__THAT_R_0168_0045__HAS_R_0168_0046__BEEN_R_0168_0047__PRESERVED)
      & has_arg0(R_0168_0042__THAT_R_0168_0045__HAS_R_0168_0046__BEEN_R_0168_0047__PRESERVED,Z_000_168_A_HEDGEHOG_138)
      & has_arg1(R_0168_0042__THAT_R_0168_0045__HAS_R_0168_0046__BEEN_R_0168_0047__PRESERVED,R_0168_0044__HABITAT)
      & r_0168_0044__habitat(R_0168_0044__HABITAT)
      & has_gen(R_0168_0044__HABITAT,R_0168_0043__OUR)
      & has_r_0168_0036__on_clr109(R_0168_0035__IS,R_0168_0037__THE_R_0168_0038__BASIS)
      & r_0168_0037__the_r_0168_0038__basis(R_0168_0037__THE_R_0168_0038__BASIS)
      & has_r_0168_0039__of(R_0168_0037__THE_R_0168_0038__BASIS,R_0168_0040__ENGLISH_R_0168_0041__ECCENTRICITY)
      & has_conj1(R_0168_0033__AND,R_0168_0020__IS)
      & r_0168_0020__is(R_0168_0020__IS)
      & has_prd(R_0168_0020__IS,R_0168_0021__A_R_0168_0023__EXAMPLE)
      & r_0168_0021__a_r_0168_0023__example(R_0168_0021__A_R_0168_0023__EXAMPLE)
      & has_r_0168_0024__of(R_0168_0021__A_R_0168_0023__EXAMPLE,R_0168_0031__ECCENTRICITY)
      & r_0168_0031__eccentricity(R_0168_0031__ECCENTRICITY)
      & has_attrib75(R_0168_0031__ECCENTRICITY,R_0168_0027__OR)
      & r_0168_0027__or(R_0168_0027__OR)
      & has_conj2(R_0168_0027__OR,R_0168_0029__ENGLISH)
      & r_0168_0029__English(R_0168_0029__ENGLISH)
      & has_qual86(R_0168_0029__ENGLISH,R_0168_0028__PERHAPS)
      & has_conj1(R_0168_0027__OR,R_0168_0025__BRITISH)
      & has_attrib66(R_0168_0021__A_R_0168_0023__EXAMPLE,R_0168_0022__GREAT)
      & has_arg0(R_0168_0020__IS,R_0168_0001__THE_R_0168_0002__ENERGY)
      & r_0168_0003__that_r_0168_0015__has_r_0168_0016__brought(R_0168_0003__THAT_R_0168_0015__HAS_R_0168_0016__BROUGHT)
      & has_r_0168_0017__to_nim56(R_0168_0003__THAT_R_0168_0015__HAS_R_0168_0016__BROUGHT,R_0168_0018__THE_R_0168_0019__DEBATE)
      & has_arg0(R_0168_0003__THAT_R_0168_0015__HAS_R_0168_0016__BROUGHT,R_0168_0005__HON_DOT__R_0168_0006__FRIEND)
      & has_arg1(R_0168_0003__THAT_R_0168_0015__HAS_R_0168_0016__BROUGHT,R_0168_0001__THE_R_0168_0002__ENERGY) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ (D The;{the})
                              (N energy;{energy})
                              (IP-REL (C that;{that})
                                      (NP-SBJ (NP-GEN (PRO;_genm_ my;{my}))
                                              (N hon<dot>;{honorable})
                                              (N Friend;{friend})
                                              (IP-PPL (NP-PRD (D the;{the})
                                                              (NPR Member;{Member})
                                                              (PP (P-ROLE for;{for})
                                                                  (NP (NLYR (NLYR (NPR Plymouth;{Plymouth}))
                                                                            (PUNC ,)
                                                                            (CONJP (NLYR (NPR Sutton;{Sutton})))
                                                                            (CONJP (CONJ and;{and})
                                                                                   (NLYR (NPR Devonport;{Devonport})))))))))
                                      (HVP;_cat_Ve_ has;{have})
                                      (IP-PPL-CAT (NP-OB1 *T*)
                                                  (VVN;_Tn_ brought;{bring})
                                                  (PP-NIM (P-ROLE to;{to})
                                                          (NP (D the;{the})
                                                              (N debate;{debate}))))))
                      (BEP;_Ln_ is;{be})
                      (NP-PRD (D a;{a})
                              (ADJP (ADJ great;{great}))
                              (N example;{example})
                              (PP (P-ROLE of;{of})
                                  (NP (ADJP (AJLYR (AJLYR (ADJ British;{british}))
                                                   (PUNC ,)
                                                   (CONJP (CONJ or;{or})
                                                          (AJLYR (ADVP (ADV perhaps;{perhaps}))
                                                                 (ADJ English;{english})))))
                                      (PUNC ,)
                                      (N eccentricity;{eccentricity})))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (PRO;_provisional_ it;{it}))
                             (BEP;_Ipr_ is;{be[on]})
                             (PP-CLR (P-ROLE on;{on})
                                     (NP (D the;{the})
                                         (N basis;{basis})
                                         (PP (P-ROLE of;{of})
                                             (NP (NPR English;{English})
                                                 (N eccentricity;{eccentricity})))))
                             (CP-THT-NSBJ (IP-SUB (C that;{that})
                                                  (NP-SBJ;{HABITAT} (NP-GEN (PRO;_genm_ our;{our}))
                                                                    (N habitat;{habitat}))
                                                  (HVP;_cat_Ve_ has;{have})
                                                  (IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
                                                              (IP-PPL-CAT (NP-LGS *)
                                                                          (VVN;_Tn_ preserved;{preserve}))))))))
          (PUNC .))
  (ID 168_a_hedgehog;speaker=Stewart))