TSPC 186_a_hedgehog

186_a_hedgehog
If, when hearing that I have been stilled at last, they stand at the door, Watching the full-starred heavens that winter sees, Will this thought rise on those who will meet my face no more, ‘He was one who had an eye for such mysteries’?

arc(r_0186_0001__If, r_0186_0003__when, restriction).
arc(r_0186_0001__If, r_0186_0026__Will, scope).
arc(r_0186_0003__when, r_0186_0004__hearing, restriction).
arc(r_0186_0003__when, z_000_186_a_hedgehog_52, scope).
arc(r_0186_0004__hearing, r_0186_0005__that_r_0186_0007__have, arg1).
arc(r_0186_0004__hearing, r_0186_0012__they, arg0).
arc(r_0186_0005__that_r_0186_0007__have, r_0186_0008__been, scope).
arc(r_0186_0008__been, r_0186_0009__stilled, scope).
arc(r_0186_0009__stilled, r_0186_0006__I, arg1).
arc(r_0186_0009__stilled, r_0186_0010__at_last, nim32).
arc(r_0186_0009__stilled, z_000_186_a_hedgehog_28, arg0).
arc(r_0186_0013__stand, r_0186_0012__they, arg0).
arc(r_0186_0013__stand, r_0186_0015__the_r_0186_0016__door, r_0186_0014__at_clr45).
arc(r_0186_0018__Watching, r_0186_0012__they, arg0).
arc(r_0186_0018__Watching, r_0186_0019__the_r_0186_0021__heavens, arg1).
arc(r_0186_0019__the_r_0186_0021__heavens, r_0186_0020__full__hyphen__starred, attrib59).
arc(r_0186_0022__that_r_0186_0024__sees, r_0186_0019__the_r_0186_0021__heavens, arg1).
arc(r_0186_0022__that_r_0186_0024__sees, r_0186_0023__winter, arg0).
arc(r_0186_0026__Will, r_0186_0029__rise, scope).
arc(r_0186_0027__this_r_0186_0028__thought, r_0186_0042__was, emb120).
arc(r_0186_0029__rise, r_0186_0027__this_r_0186_0028__thought, arg0).
arc(r_0186_0029__rise, r_0186_0031__those, r_0186_0030__on_clr91).
arc(r_0186_0033__will, r_0186_0034__meet, scope).
arc(r_0186_0034__meet, r_0186_0031__those, arg0).
arc(r_0186_0034__meet, r_0186_0036__face, arg1).
arc(r_0186_0034__meet, r_0186_0038__more, nim109).
arc(r_0186_0036__face, r_0186_0006__I, gen).
arc(r_0186_0037__no_quant, r_0186_0038__more, scope).
arc(r_0186_0037__no_quant, z_000_186_a_hedgehog_110, restriction).
arc(r_0186_0038__more, z_000_186_a_hedgehog_110, nim110).
arc(r_0186_0042__was, r_0186_0041__He, arg0).
arc(r_0186_0042__was, r_0186_0043__one, prd).
arc(r_0186_0045__had, r_0186_0043__one, arg0).
arc(r_0186_0045__had, r_0186_0046__an_r_0186_0047__eye, arg1).
arc(r_0186_0046__an_r_0186_0047__eye, r_0186_0050__mysteries, r_0186_0048__for).
arc(r_0186_0050__mysteries, r_0186_0049__such, attrib144).
arc(z_000_186_a_hedgehog_52, r_0186_0013__stand, scope).
arc(z_000_186_a_hedgehog_52, r_0186_0018__Watching, restriction).

fof(formula,axiom,
    ? [R_0186_0020__FULL__HYPHEN__STARRED,R_0186_0019__THE_R_0186_0021__HEAVENS,R_0186_0023__WINTER,R_0186_0022__THAT_R_0186_0024__SEES,R_0186_0043__ONE,R_0186_0049__SUCH,R_0186_0050__MYSTERIES,R_0186_0046__AN_R_0186_0047__EYE,R_0186_0045__HAD] :
      ( r_0186_0020__full__hyphen__starred(R_0186_0020__FULL__HYPHEN__STARRED)
      & r_0186_0023__winter(R_0186_0023__WINTER)
      & r_0186_0043__one(R_0186_0043__ONE)
      & r_0186_0049__such(R_0186_0049__SUCH)
      & r_0186_0045__had(R_0186_0045__HAD)
      & has_arg1(R_0186_0045__HAD,R_0186_0046__AN_R_0186_0047__EYE)
      & r_0186_0046__an_r_0186_0047__eye(R_0186_0046__AN_R_0186_0047__EYE)
      & has_r_0186_0048__for(R_0186_0046__AN_R_0186_0047__EYE,R_0186_0050__MYSTERIES)
      & r_0186_0050__mysteries(R_0186_0050__MYSTERIES)
      & has_attrib144(R_0186_0050__MYSTERIES,R_0186_0049__SUCH)
      & has_arg0(R_0186_0045__HAD,R_0186_0043__ONE)
      & ! [Z_000_186_A_HEDGEHOG_110] :
          ( z_000_186_a_hedgehog_110(Z_000_186_A_HEDGEHOG_110)
         => ? [R_0186_0031__THOSE,R_0186_0006__I,R_0186_0036__FACE,R_0186_0038__MORE,R_0186_0033__WILL_R_0186_0034__MEET] :
              ( r_0186_0006__I(R_0186_0006__I)
              & r_0186_0031__those(R_0186_0031__THOSE)
              & r_0186_0033__will_r_0186_0034__meet(R_0186_0033__WILL_R_0186_0034__MEET)
              & has_nim109(R_0186_0033__WILL_R_0186_0034__MEET,R_0186_0038__MORE)
              & r_0186_0038__more(R_0186_0038__MORE)
              & has_nim110(R_0186_0038__MORE,Z_000_186_A_HEDGEHOG_110)
              & has_arg1(R_0186_0033__WILL_R_0186_0034__MEET,R_0186_0036__FACE)
              & r_0186_0036__face(R_0186_0036__FACE)
              & has_gen(R_0186_0036__FACE,R_0186_0006__I)
              & has_arg0(R_0186_0033__WILL_R_0186_0034__MEET,R_0186_0031__THOSE) ) )
      & r_0186_0022__that_r_0186_0024__sees(R_0186_0022__THAT_R_0186_0024__SEES)
      & has_arg0(R_0186_0022__THAT_R_0186_0024__SEES,R_0186_0023__WINTER)
      & has_arg1(R_0186_0022__THAT_R_0186_0024__SEES,R_0186_0019__THE_R_0186_0021__HEAVENS)
      & r_0186_0019__the_r_0186_0021__heavens(R_0186_0019__THE_R_0186_0021__HEAVENS)
      & has_attrib59(R_0186_0019__THE_R_0186_0021__HEAVENS,R_0186_0020__FULL__HYPHEN__STARRED)
      & ! [R_0186_0003__WHEN] :
          ( ! [R_0186_0004__HEARING,R_0186_0006__I,R_0186_0010__AT_LAST,Z_000_186_A_HEDGEHOG_28,R_0186_0005__THAT_R_0186_0007__HAVE_R_0186_0008__BEEN_R_0186_0009__STILLED,R_0186_0012__THEY] :
              ( ( r_0186_0006__I(R_0186_0006__I)
                & r_0186_0010__at_last(R_0186_0010__AT_LAST)
                & r_0186_0012__they(R_0186_0012__THEY)
                & z_000_186_a_hedgehog_28(Z_000_186_A_HEDGEHOG_28)
                & r_0186_0004__hearing(R_0186_0004__HEARING)
                & has_arg0(R_0186_0004__HEARING,R_0186_0012__THEY)
                & has_arg1(R_0186_0004__HEARING,R_0186_0005__THAT_R_0186_0007__HAVE_R_0186_0008__BEEN_R_0186_0009__STILLED)
                & r_0186_0005__that_r_0186_0007__have_r_0186_0008__been_r_0186_0009__stilled(R_0186_0005__THAT_R_0186_0007__HAVE_R_0186_0008__BEEN_R_0186_0009__STILLED)
                & has_arg0(R_0186_0005__THAT_R_0186_0007__HAVE_R_0186_0008__BEEN_R_0186_0009__STILLED,Z_000_186_A_HEDGEHOG_28)
                & has_nim32(R_0186_0005__THAT_R_0186_0007__HAVE_R_0186_0008__BEEN_R_0186_0009__STILLED,R_0186_0010__AT_LAST)
                & has_arg1(R_0186_0005__THAT_R_0186_0007__HAVE_R_0186_0008__BEEN_R_0186_0009__STILLED,R_0186_0006__I) )
             => ? [R_0186_0015__THE_R_0186_0016__DOOR,R_0186_0013__STAND,R_0186_0018__WATCHING,Z_000_186_A_HEDGEHOG_52] :
                  ( r_0186_0015__the_r_0186_0016__door(R_0186_0015__THE_R_0186_0016__DOOR)
                  & z_000_186_a_hedgehog_52(Z_000_186_A_HEDGEHOG_52)
                  & has_conj1(Z_000_186_A_HEDGEHOG_52,R_0186_0018__WATCHING)
                  & r_0186_0018__Watching(R_0186_0018__WATCHING)
                  & has_arg1(R_0186_0018__WATCHING,R_0186_0019__THE_R_0186_0021__HEAVENS)
                  & has_arg0(R_0186_0018__WATCHING,R_0186_0012__THEY)
                  & has_conj2(Z_000_186_A_HEDGEHOG_52,R_0186_0013__STAND)
                  & r_0186_0013__stand(R_0186_0013__STAND)
                  & has_r_0186_0014__at_clr45(R_0186_0013__STAND,R_0186_0015__THE_R_0186_0016__DOOR)
                  & has_arg0(R_0186_0013__STAND,R_0186_0012__THEY) ) )
         => ? [R_0186_0041__HE,R_0186_0042__WAS,R_0186_0027__THIS_R_0186_0028__THOUGHT,R_0186_0031__THOSE,R_0186_0026__WILL_R_0186_0029__RISE] :
              ( r_0186_0031__those(R_0186_0031__THOSE)
              & r_0186_0041__He(R_0186_0041__HE)
              & r_0186_0026__Will_r_0186_0029__rise(R_0186_0026__WILL_R_0186_0029__RISE)
              & has_r_0186_0030__on_clr91(R_0186_0026__WILL_R_0186_0029__RISE,R_0186_0031__THOSE)
              & has_arg0(R_0186_0026__WILL_R_0186_0029__RISE,R_0186_0027__THIS_R_0186_0028__THOUGHT)
              & r_0186_0027__this_r_0186_0028__thought(R_0186_0027__THIS_R_0186_0028__THOUGHT)
              & has_emb120(R_0186_0027__THIS_R_0186_0028__THOUGHT,R_0186_0042__WAS)
              & r_0186_0042__was(R_0186_0042__WAS)
              & has_prd(R_0186_0042__WAS,R_0186_0043__ONE)
              & has_arg0(R_0186_0042__WAS,R_0186_0041__HE) ) ) ) ).

( (CP-QUE-MAT (IP-SUB (PP-SCON (P-CONN If;{if})
                               (PUNC ,)
                               (IP-ADV (PP-SCON (P-CONN when;{when})
                                                (IP-PPL2 (VAG;_Tf_ hearing;{hear})
                                                         (CP-THT-OB1 (IP-SUB (C that;{that})
                                                                             (NP-SBJ (PRO I;{I}))
                                                                             (HVP;_cat_Ve_ have;{have})
                                                                             (IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
                                                                                         (IP-PPL-CAT (NP-LGS *)
                                                                                                     (VVN;_Tn_ stilled;{still})
                                                                                                     (ADVP-NIM (ADV at_last;{at_last}))))))))
                                       (PUNC ,)
                                       (NP-SBJ;{HEDGEHOGS} (PRO they;{they}))
                                       (VBP;_Ipr_ stand;{stand[at]})
                                       (PP-CLR (P-ROLE at;{at})
                                               (NP (D the;{the})
                                                   (N door;{door})))
                                       (PUNC ,)
                                       (PP-SCON (IP-PPL2 (VAG;_Tn_ Watching;{watch})
                                                         (NP-OB1 (D the;{the})
                                                                 (ADJP (ADJ full_<hyphen>_starred;{full_starred}))
                                                                 (NS heavens;{heaven})
                                                                 (IP-REL (C that;{that})
                                                                         (NP-OB1 *T*)
                                                                         (NP-SBJ (N winter;{winter}))
                                                                         (VBP;_Tn_ sees;{see})))))))
                      (PUNC ,)
                      (MD;_cat_Vi_ Will;{will})
                      (NP-SBJ (D this;{this})
                              (N thought;{thought})
                              (CP-THT *ICH*-123))
                      (IP-INF-CAT (VB;_Ipr_ rise;{rise[on]})
                                  (PP-CLR (P-ROLE on;{on})
                                          (NP (D;_nphd_ those;{those})
                                              (IP-REL (NP-SBJ (RPRO who;{who}))
                                                      (MD;_cat_Vi_ will;{will})
                                                      (IP-INF-CAT (VB;_Tn_ meet;{meet})
                                                                  (NP-OB1 (NP-GEN (PRO;_genm_ my;{my}))
                                                                          (N face;{face}))
                                                                  (ADVP-NIM (NP (Q;_nphd_ no;{no}))
                                                                            (ADVR more;{more})))))))
                      (PUNC ,)
                      (PULQ <lquo>)
                      (CP-THT-EPD-123 (IP-SUB (NP-SBJ;{PERSON} (PRO He;{he}))
                                              (BED;_Ln_ was;{be})
                                              (NP-PRD (NUM one;{one})
                                                      (IP-REL (NP-SBJ (RPRO who;{who}))
                                                              (HVD;_Tn_ had;{have})
                                                              (NP-OB1 (D an;{an})
                                                                      (N eye;{eye})
                                                                      (PP (P-ROLE for;{for})
                                                                          (NP (ADJP (ADJ;_such_ such;{such}))
                                                                              (NS mysteries;{mystery}))))))))
                      (PURQ <rquo>))
              (PUNC ?))
  (ID 186_a_hedgehog;speaker=Stewart))