TSPC 171_a_hedgehog

171_a_hedgehog
He has written no fewer than three books on the hedgehog, and he talks very movingly about staring into the eyes of a hedgehog and getting a sense of its wildness from its gaze.

arc(r_0171_0002__has, r_0171_0004__no_quant, scope).
arc(r_0171_0003__written, r_0171_0001__He, arg0).
arc(r_0171_0003__written, r_0171_0008__books, arg1).
arc(r_0171_0004__no_quant, r_0171_0003__written, scope).
arc(r_0171_0004__no_quant, r_0171_0008__books, restriction).
arc(r_0171_0005__fewer, r_0171_0007__three, r_0171_0006__than).
arc(r_0171_0008__books, r_0171_0005__fewer, attrib15).
arc(r_0171_0008__books, r_0171_0010__the_r_0171_0011__hedgehog, r_0171_0009__on).
arc(r_0171_0013__and, r_0171_0002__has, conj1).
arc(r_0171_0013__and, r_0171_0015__talks, conj2).
arc(r_0171_0015__talks, r_0171_0014__he, arg0).
arc(r_0171_0015__talks, r_0171_0017__movingly, nim45).
arc(r_0171_0015__talks, r_0171_0026__and, r_0171_0018__about_clr54).
arc(r_0171_0017__movingly, r_0171_0016__very, qual46).
arc(r_0171_0019__staring, r_0171_0021__the_r_0171_0022__eyes, r_0171_0020__into_clr62).
arc(r_0171_0019__staring, z_000_171_a_hedgehog_54, arg0).
arc(r_0171_0021__the_r_0171_0022__eyes, r_0171_0024__a_r_0171_0025__hedgehog, r_0171_0023__of).
arc(r_0171_0026__and, r_0171_0019__staring, conj1).
arc(r_0171_0026__and, r_0171_0027__getting, conj2).
arc(r_0171_0027__getting, r_0171_0028__a_r_0171_0029__sense, arg1).
arc(r_0171_0027__getting, r_0171_0035__gaze, r_0171_0033__from_clr98).
arc(r_0171_0027__getting, z_000_171_a_hedgehog_54, arg0).
arc(r_0171_0028__a_r_0171_0029__sense, r_0171_0032__wildness, r_0171_0030__of).
arc(r_0171_0032__wildness, r_0171_0024__a_r_0171_0025__hedgehog, gen).
arc(r_0171_0035__gaze, r_0171_0024__a_r_0171_0025__hedgehog, gen).

fof(formula,axiom,
    ? [R_171_13_AND,R_171_15_TALKS,R_171_14_HE,R_171_17_MOVINGLY,R_171_16_VERY,R_171_26_AND,R_171_19_STARING,R_171_21_THE_EYES,R_171_27_GETTING,Z_171_A_HEDGEHOG_54,R_171_28_A_SENSE,R_171_32_WILDNESS,R_171_35_GAZE,R_171_24_A_HEDGEHOG] :
      ( he(R_171_14_HE)
      & very(R_171_16_VERY)
      & a_hedgehog(R_171_24_A_HEDGEHOG)
      & and(R_171_13_AND)
      & conj1(R_171_13_AND,R_171_2_HAS)
      & ~ ! [R_171_8_BOOKS,R_171_5_FEWER,R_171_7_THREE,R_171_10_THE_HEDGEHOG] :
            ( ( three(R_171_7_THREE)
              & the_hedgehog(R_171_10_THE_HEDGEHOG)
              & books(R_171_8_BOOKS)
              & attrib15(R_171_8_BOOKS,R_171_5_FEWER)
              & fewer(R_171_5_FEWER)
              & than(R_171_5_FEWER,R_171_7_THREE)
              & on(R_171_8_BOOKS,R_171_10_THE_HEDGEHOG) )
           => ? [R_171_3_WRITTEN,R_171_1_HE] :
                ( he(R_171_1_HE)
                & written(R_171_3_WRITTEN,R_171_1_HE,R_171_8_BOOKS) ) )
      & conj2(R_171_13_AND,R_171_15_TALKS)
      & talks(R_171_15_TALKS,R_171_14_HE)
      & nim45(R_171_15_TALKS,R_171_17_MOVINGLY)
      & movingly(R_171_17_MOVINGLY)
      & qual46(R_171_17_MOVINGLY,R_171_16_VERY)
      & about_clr54(R_171_15_TALKS,R_171_26_AND)
      & and(R_171_26_AND)
      & conj1(R_171_26_AND,R_171_19_STARING)
      & staring(R_171_19_STARING,Z_171_A_HEDGEHOG_54)
      & into_clr62(R_171_19_STARING,R_171_21_THE_EYES)
      & the_eyes(R_171_21_THE_EYES)
      & of(R_171_21_THE_EYES,R_171_24_A_HEDGEHOG)
      & conj2(R_171_26_AND,R_171_27_GETTING)
      & getting(R_171_27_GETTING,Z_171_A_HEDGEHOG_54,R_171_28_A_SENSE)
      & a_sense(R_171_28_A_SENSE)
      & of(R_171_28_A_SENSE,R_171_32_WILDNESS)
      & wildness(R_171_32_WILDNESS)
      & gen(R_171_32_WILDNESS,R_171_24_A_HEDGEHOG)
      & from_clr98(R_171_27_GETTING,R_171_35_GAZE)
      & gaze(R_171_35_GAZE)
      & gen(R_171_35_GAZE,R_171_24_A_HEDGEHOG) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ;{WARWICK} (PRO He;{he}))
                      (HVP;_cat_Ve_ has;{have})
                      (IP-PPL-CAT (VVN;_Tn_ written;{write})
                                  (NP-OB1 (Q no;{no})
                                          (ADJP (ADJR fewer;{few})
                                                (PP (P-ROLE than;{than})
                                                    (NP (NUM three;{three}))))
                                          (NS books;{book})
                                          (PP (P-ROLE on;{on})
                                              (NP (D the;{the})
                                                  (N hedgehog;{hedgehog}))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ;{WARWICK} (PRO he;{he}))
                             (VBP;_Ipr_ talks;{talk[about]})
                             (ADVP-NIM (ADVP (ADV very;{very}))
                                       (ADV movingly;{movingly}))
                             (PP-CLR (P-ROLE about;{about})
                                     (IP-PPL (ILYR (ILYR (VAG;_Ipr_ staring;{stare[into]})
                                                         (PP-CLR (P-ROLE into;{into})
                                                                 (NP (D the;{the})
                                                                     (NS eyes;{eye})
                                                                     (PP (P-ROLE of;{of})
                                                                         (NP;{HEDGEHOG} (D a;{a})
                                                                                        (N hedgehog;{hedgehog}))))))
                                                   (CONJP (CONJ and;{and})
                                                          (ILYR (VAG;_Tn.pr_ getting;{get[from]})
                                                                (NP-OB1 (D a;{a})
                                                                        (N sense;{sense})
                                                                        (PP (P-ROLE of;{of})
                                                                            (NP (NP-GEN;{HEDGEHOG} (PRO;_genm_ its;{its}))
                                                                                (N wildness;{wildness}))))
                                                                (PP-CLR (P-ROLE from;{from})
                                                                        (NP (NP-GEN;{HEDGEHOG} (PRO;_genm_ its;{its}))
                                                                            (N gaze;{gaze})))))))))))
          (PUNC .))
  (ID 171_a_hedgehog;speaker=Stewart))