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_186_22_THAT_SEES,R_186_23_WINTER,R_186_19_THE_HEAVENS,R_186_20_FULL_HYPHEN_STARRED,R_186_45_HAD,R_186_43_ONE,R_186_46_AN_EYE,R_186_50_MYSTERIES,R_186_49_SUCH] :
      ( winter(R_186_23_WINTER)
      & full_hyphen_starred(R_186_20_FULL_HYPHEN_STARRED)
      & one(R_186_43_ONE)
      & such(R_186_49_SUCH)
      & ( ! [R_186_4_HEARING,R_186_12_THEY,R_186_5_THAT_HAVE_BEEN_STILLED,Z_186_A_HEDGEHOG_28,R_186_6_I,R_186_10_AT_LAST] :
            ( ( they(R_186_12_THEY)
              & i(R_186_6_I)
              & at_last(R_186_10_AT_LAST)
              & hearing(R_186_4_HEARING,R_186_12_THEY,R_186_5_THAT_HAVE_BEEN_STILLED)
              & that_have_been_stilled(R_186_5_THAT_HAVE_BEEN_STILLED,Z_186_A_HEDGEHOG_28,R_186_6_I)
              & nim32(R_186_5_THAT_HAVE_BEEN_STILLED,R_186_10_AT_LAST) )
           => ? [Z_186_A_HEDGEHOG_52,R_186_18_WATCHING,R_186_13_STAND,R_186_15_THE_DOOR] :
                ( the_door(R_186_15_THE_DOOR)
                & z_186_a_hedgehog_52(Z_186_A_HEDGEHOG_52)
                & conj1(Z_186_A_HEDGEHOG_52,R_186_18_WATCHING)
                & watching(R_186_18_WATCHING,R_186_12_THEY,R_186_19_THE_HEAVENS)
                & conj2(Z_186_A_HEDGEHOG_52,R_186_13_STAND)
                & stand(R_186_13_STAND,R_186_12_THEY)
                & at_clr45(R_186_13_STAND,R_186_15_THE_DOOR) ) )
       => ? [R_186_26_WILL_RISE,R_186_27_THIS_THOUGHT,R_186_42_WAS,R_186_41_HE,R_186_31_THOSE] :
            ( he(R_186_41_HE)
            & those(R_186_31_THOSE)
            & will_rise(R_186_26_WILL_RISE,R_186_27_THIS_THOUGHT)
            & this_thought(R_186_27_THIS_THOUGHT)
            & emb120(R_186_27_THIS_THOUGHT,R_186_42_WAS)
            & was(R_186_42_WAS,R_186_41_HE,R_186_43_ONE)
            & on_clr91(R_186_26_WILL_RISE,R_186_31_THOSE) ) )
      & that_sees(R_186_22_THAT_SEES,R_186_23_WINTER,R_186_19_THE_HEAVENS)
      & the_heavens(R_186_19_THE_HEAVENS)
      & attrib59(R_186_19_THE_HEAVENS,R_186_20_FULL_HYPHEN_STARRED)
      & ! [Z_186_A_HEDGEHOG_110] :
          ( true
         => ? [R_186_33_WILL_MEET,R_186_31_THOSE,R_186_36_FACE,R_186_6_I,R_186_38_MORE] :
              ( those(R_186_31_THOSE)
              & i(R_186_6_I)
              & will_meet(R_186_33_WILL_MEET,R_186_31_THOSE,R_186_36_FACE)
              & face(R_186_36_FACE)
              & gen(R_186_36_FACE,R_186_6_I)
              & nim109(R_186_33_WILL_MEET,R_186_38_MORE)
              & more(R_186_38_MORE)
              & nim110(R_186_38_MORE,Z_186_A_HEDGEHOG_110) ) )
      & had(R_186_45_HAD,R_186_43_ONE,R_186_46_AN_EYE)
      & an_eye(R_186_46_AN_EYE)
      & for(R_186_46_AN_EYE,R_186_50_MYSTERIES)
      & mysteries(R_186_50_MYSTERIES)
      & attrib144(R_186_50_MYSTERIES,R_186_49_SUCH) ) ).

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