TSPC 169_a_hedgehog

169_a_hedgehog
Gilbert White, the great 18th century naturalist, was himself an immense eccentric.

( (IP-MAT (NP-SBJ;{WHITE} (NPR Gilbert;{Gilbert})
                          (NPR White;{White})
                          (PUNC ,)
                          (PRN (NP (D the;{the})
                                   (ADJP (ADJ great;{great}))
                                   (ADJP (ADJ 18th))
                                   (N century;{century})
                                   (N naturalist;{naturalist}))))
          (PUNC ,)
          (BED;_Ln_ was;{be})
          (NP-RFL;{WHITE} (PNX himself;{himself}))
          (NP-PRD (D an;{an})
                  (ADJP (ADJ immense;{immense}))
                  (N eccentric;{eccentric}))
          (PUNC .))
  (ID 169_a_hedgehog;speaker=Stewart))

arc(r_0169_0004__the_r_0169_0007__century_r_0169_0008__naturalist,r_0169_0005__great,attrib).
arc(r_0169_0004__the_r_0169_0007__century_r_0169_0008__naturalist,r_0169_0006__18th,attrib).
arc(r_0169_0010__was,r_0169_0001__Gilbert_r_0169_0002__White,arg0).
arc(r_0169_0010__was,r_0169_0001__Gilbert_r_0169_0002__White,rfl).
arc(r_0169_0010__was,r_0169_0012__an_r_0169_0014__eccentric,prd).
arc(r_0169_0012__an_r_0169_0014__eccentric,r_0169_0013__immense,attrib).
arc(z_0169_5004,r_0169_0001__Gilbert_r_0169_0002__White,arg0).
arc(z_0169_5004,r_0169_0004__the_r_0169_0007__century_r_0169_0008__naturalist,prd).

fof(formula,axiom,
    ? [R_0169_0001__GILBERT_R_0169_0002__WHITE,R_0169_0013__IMMENSE,R_0169_0012__AN_R_0169_0014__ECCENTRIC,R_0169_0010__WAS,R_0169_0005__GREAT,R_0169_0006__18TH,R_0169_0004__THE_R_0169_0007__CENTURY_R_0169_0008__NATURALIST,Z_0169_5004] :
      ( r_0169_0001__Gilbert_r_0169_0002__White(R_0169_0001__GILBERT_R_0169_0002__WHITE)
      & r_0169_0005__great(R_0169_0005__GREAT)
      & r_0169_0006__18th(R_0169_0006__18TH)
      & r_0169_0013__immense(R_0169_0013__IMMENSE)
      & z_0169_5004(Z_0169_5004)
      & has_prd(Z_0169_5004,R_0169_0004__THE_R_0169_0007__CENTURY_R_0169_0008__NATURALIST)
      & r_0169_0004__the_r_0169_0007__century_r_0169_0008__naturalist(R_0169_0004__THE_R_0169_0007__CENTURY_R_0169_0008__NATURALIST)
      & has_attrib(R_0169_0004__THE_R_0169_0007__CENTURY_R_0169_0008__NATURALIST,R_0169_0006__18TH)
      & has_attrib(R_0169_0004__THE_R_0169_0007__CENTURY_R_0169_0008__NATURALIST,R_0169_0005__GREAT)
      & has_arg0(Z_0169_5004,R_0169_0001__GILBERT_R_0169_0002__WHITE)
      & r_0169_0010__was(R_0169_0010__WAS)
      & has_prd(R_0169_0010__WAS,R_0169_0012__AN_R_0169_0014__ECCENTRIC)
      & r_0169_0012__an_r_0169_0014__eccentric(R_0169_0012__AN_R_0169_0014__ECCENTRIC)
      & has_attrib(R_0169_0012__AN_R_0169_0014__ECCENTRIC,R_0169_0013__IMMENSE)
      & has_rfl(R_0169_0010__WAS,R_0169_0001__GILBERT_R_0169_0002__WHITE)
      & has_arg0(R_0169_0010__WAS,R_0169_0001__GILBERT_R_0169_0002__WHITE) ) ).