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_0171_0002__HAS,R_0171_0014__HE,R_0171_0016__VERY,R_0171_0017__MOVINGLY,R_0171_0024__A_R_0171_0025__HEDGEHOG,R_0171_0021__THE_R_0171_0022__EYES,Z_000_171_A_HEDGEHOG_54,R_0171_0019__STARING,R_0171_0032__WILDNESS,R_0171_0028__A_R_0171_0029__SENSE,R_0171_0035__GAZE,R_0171_0027__GETTING,R_0171_0026__AND,R_0171_0015__TALKS,R_0171_0013__AND] :
      ( r_0171_0014__he(R_0171_0014__HE)
      & r_0171_0016__very(R_0171_0016__VERY)
      & r_0171_0024__a_r_0171_0025__hedgehog(R_0171_0024__A_R_0171_0025__HEDGEHOG)
      & z_000_171_a_hedgehog_54(Z_000_171_A_HEDGEHOG_54)
      & r_0171_0013__and(R_0171_0013__AND)
      & has_conj2(R_0171_0013__AND,R_0171_0015__TALKS)
      & r_0171_0015__talks(R_0171_0015__TALKS)
      & has_r_0171_0018__about_clr54(R_0171_0015__TALKS,R_0171_0026__AND)
      & r_0171_0026__and(R_0171_0026__AND)
      & has_conj2(R_0171_0026__AND,R_0171_0027__GETTING)
      & r_0171_0027__getting(R_0171_0027__GETTING)
      & has_arg0(R_0171_0027__GETTING,Z_000_171_A_HEDGEHOG_54)
      & has_r_0171_0033__from_clr98(R_0171_0027__GETTING,R_0171_0035__GAZE)
      & r_0171_0035__gaze(R_0171_0035__GAZE)
      & has_gen(R_0171_0035__GAZE,R_0171_0024__A_R_0171_0025__HEDGEHOG)
      & has_arg1(R_0171_0027__GETTING,R_0171_0028__A_R_0171_0029__SENSE)
      & r_0171_0028__a_r_0171_0029__sense(R_0171_0028__A_R_0171_0029__SENSE)
      & has_r_0171_0030__of(R_0171_0028__A_R_0171_0029__SENSE,R_0171_0032__WILDNESS)
      & r_0171_0032__wildness(R_0171_0032__WILDNESS)
      & has_gen(R_0171_0032__WILDNESS,R_0171_0024__A_R_0171_0025__HEDGEHOG)
      & has_conj1(R_0171_0026__AND,R_0171_0019__STARING)
      & r_0171_0019__staring(R_0171_0019__STARING)
      & has_arg0(R_0171_0019__STARING,Z_000_171_A_HEDGEHOG_54)
      & has_r_0171_0020__into_clr62(R_0171_0019__STARING,R_0171_0021__THE_R_0171_0022__EYES)
      & r_0171_0021__the_r_0171_0022__eyes(R_0171_0021__THE_R_0171_0022__EYES)
      & has_r_0171_0023__of(R_0171_0021__THE_R_0171_0022__EYES,R_0171_0024__A_R_0171_0025__HEDGEHOG)
      & has_nim45(R_0171_0015__TALKS,R_0171_0017__MOVINGLY)
      & r_0171_0017__movingly(R_0171_0017__MOVINGLY)
      & has_qual46(R_0171_0017__MOVINGLY,R_0171_0016__VERY)
      & has_arg0(R_0171_0015__TALKS,R_0171_0014__HE)
      & has_conj1(R_0171_0013__AND,R_0171_0002__HAS)
      & r_0171_0002__has(R_0171_0002__HAS)
      & ! [R_0171_0008__BOOKS,R_0171_0007__THREE,R_0171_0005__FEWER,R_0171_0010__THE_R_0171_0011__HEDGEHOG] :
          ( ( r_0171_0007__three(R_0171_0007__THREE)
            & r_0171_0010__the_r_0171_0011__hedgehog(R_0171_0010__THE_R_0171_0011__HEDGEHOG)
            & r_0171_0008__books(R_0171_0008__BOOKS)
            & has_r_0171_0009__on(R_0171_0008__BOOKS,R_0171_0010__THE_R_0171_0011__HEDGEHOG)
            & has_attrib15(R_0171_0008__BOOKS,R_0171_0005__FEWER)
            & r_0171_0005__fewer(R_0171_0005__FEWER)
            & has_r_0171_0006__than(R_0171_0005__FEWER,R_0171_0007__THREE) )
         => ? [R_0171_0001__HE,R_0171_0003__WRITTEN] :
              ( r_0171_0001__He(R_0171_0001__HE)
              & r_0171_0003__written(R_0171_0003__WRITTEN)
              & has_arg1(R_0171_0003__WRITTEN,R_0171_0008__BOOKS)
              & has_arg0(R_0171_0003__WRITTEN,R_0171_0001__HE) ) ) ) ).

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