TSPC 11_a_coleridge

11_a_coleridge_1798
And all who heard should see them there, And all should cry, Beware! Beware! His flashing eyes, his floating hair! Weave a circle round him thrice, And close your eyes with holy dread For he on honey-dew hath fed, And drunk the milk of Paradise.

( (IP-MAT (ILYR (ILYR (CONJ;_cl_ And;{and})
                      (NP-SBJ (Q;_nphd_ all;{all})
                              (IP-REL (NP-SBJ (RPRO who;{who}))
                                      (VBD;_I_ heard;{hear})))
                      (MD;_cat_Vi_ should;{shall})
                      (IP-INF-CAT (VB;_Tn_ see;{see})
                                  (NP-OB1;{DOME+CAVES} (PRO them;{they}))
                                  (ADVP-NIM (ADV there;{there}))))
                (PUNC ,)
                (CONJP (CONJ And;{and})
                       (ILYR (NP-SBJ (Q;_nphd_ all;{all}))
                             (MD;_cat_Vi_ should;{shall})
                             (IP-INF-CAT (VB;_Tr_ cry;{cry})
                                         (PUNC ,)
                                         (utterance-OB1 (IP-IMP (VB;_I_ Beware;{beware})
                                                                (PUNC !))
                                                        (IP-IMP (VB;_I_ Beware;{beware})
                                                                (PUNC !))
                                                        (FRAG (NP (NLYR (NLYR (NP-GEN;{PERSON} (PRO;_genm_ His;{his}))
                                                                              (ADJP (ADJ flashing;{flashing}))
                                                                              (NS eyes;{eye}))
                                                                        (PUNC ,)
                                                                        (CONJP (NLYR (NP-GEN;{PERSON} (PRO;_genm_ his;{his}))
                                                                                     (ADJP (ADJ floating;{floating}))
                                                                                     (N hair;{hair})))))
                                                              (PUNC !))
                                                        (IP-IMP (VB;_Tn_ Weave;{weave})
                                                                (NP-OB1 (D a;{a})
                                                                        (N circle;{circle})
                                                                        (PP (P-ROLE round;{round})
                                                                            (NP;{PERSON} (PRO him;{he}))))
                                                                (NP-NIM (NUM thrice;{thrice}))
                                                                (PUNC ,))
                                                        (IP-IMP (CONJ;_cl_ And;{and})
                                                                (VB;_Tn_ close;{close})
                                                                (NP-OB1 (NP-GEN (PRO;_genm_ your;{your}))
                                                                        (NS eyes;{eye}))
                                                                (PP-NIM (P-ROLE with;{with})
                                                                        (NP (ADJP (ADJ holy;{holy}))
                                                                            (N dread;{dread})))
                                                                (PP-SCON (P-CONN For;{for})
                                                                         (IP-ADV (NP-SBJ;{PERSON} (PRO he;{he}))
                                                                                 (ILYR (ILYR (PP-179 (P-ROLE on;{on})
                                                                                                     (NP (N honey_<hyphen>_dew;{honey_dew})))
                                                                                             (HVP;_cat_Ve_ hath;{have})
                                                                                             (IP-PPL-CAT (PP-CLR *ICH*-179)
                                                                                                         (VVN;_Ipr_ fed;{feed[on]})))
                                                                                       (PUNC ,)
                                                                                       (CONJP (CONJ And;{and})
                                                                                              (ILYR (IP-PPL-CAT (VVN;_Tn_ drunk;{drink})
                                                                                                                (NP-OB1 (D the;{the})
                                                                                                                        (N milk;{milk})
                                                                                                                        (PP (P-ROLE of;{of})
                                                                                                                            (NP (NPR Paradise;{Paradise}))))))))))))))))
          (PUNC .))
  (ID 11_a_coleridge_1798))

arc(r_0011_0002__all__quant,r_0011_0005__should,scope).
arc(r_0011_0002__all__quant,z_0011_5004,restriction).
arc(r_0011_0004__heard,z_0011_5004,arg0).
arc(r_0011_0005__should,r_0011_0006__see,scope).
arc(r_0011_0006__see,r_0011_0007__them,arg1).
arc(r_0011_0006__see,r_0011_0008__there,nim).
arc(r_0011_0006__see,z_0011_5004,arg0).
arc(r_0011_0010__And,r_0011_0002__all__quant,conj1).
arc(r_0011_0010__And,r_0011_0011__all__quant,conj2).
arc(r_0011_0011__all__quant,r_0011_0012__should,scope).
arc(r_0011_0011__all__quant,z_0011_5011,restriction).
arc(r_0011_0012__should,r_0011_0013__cry,scope).
arc(r_0011_0013__cry,z_0011_5011,arg0).
arc(r_0011_0013__cry,z_0011_5015__utterance,arg1).
arc(r_0011_0015__Beware,z_0011_5017,arg0).
arc(r_0011_0017__Beware,z_0011_5020,arg0).
arc(r_0011_0021__eyes,r_0011_0019__His,gen).
arc(r_0011_0021__eyes,r_0011_0020__flashing,attrib).
arc(r_0011_0025__hair,r_0011_0019__His,gen).
arc(r_0011_0025__hair,r_0011_0024__floating,attrib).
arc(r_0011_0027__Weave,r_0011_0028__a_r_0011_0029__circle,arg1).
arc(r_0011_0027__Weave,r_0011_0032__thrice,nim).
arc(r_0011_0027__Weave,z_0011_5036,arg0).
arc(r_0011_0028__a_r_0011_0029__circle,r_0011_0019__His,r_0011_0030__round).
arc(r_0011_0035__close,r_0011_0037__eyes,arg1).
arc(r_0011_0035__close,r_0011_0040__dread,r_0011_0038__with__nim).
arc(r_0011_0035__close,z_0011_5042,arg0).
arc(r_0011_0037__eyes,r_0011_0036__your,gen).
arc(r_0011_0040__dread,r_0011_0039__holy,attrib).
arc(r_0011_0041__For,r_0011_0035__close,scope).
arc(r_0011_0041__For,r_0011_0048__And,restriction).
arc(r_0011_0043__on_r_0011_0046__fed,r_0011_0019__His,arg0).
arc(r_0011_0043__on_r_0011_0046__fed,r_0011_0044__honey__hyphen__dew,arg1).
arc(r_0011_0045__hath,r_0011_0043__on_r_0011_0046__fed,scope).
arc(r_0011_0048__And,r_0011_0045__hath,conj1).
arc(r_0011_0048__And,z_0011_5053,conj2).
arc(r_0011_0049__drunk,r_0011_0019__His,arg0).
arc(r_0011_0049__drunk,r_0011_0050__the_r_0011_0051__milk,arg1).
arc(r_0011_0050__the_r_0011_0051__milk,r_0011_0053__Paradise,r_0011_0052__of).
arc(z_0011_5015__utterance,r_0011_0015__Beware,part1).
arc(z_0011_5015__utterance,r_0011_0017__Beware,part2).
arc(z_0011_5015__utterance,r_0011_0027__Weave,part4).
arc(z_0011_5015__utterance,r_0011_0041__For,part5).
arc(z_0011_5015__utterance,z_0011_5033,part3).
arc(z_0011_5032,r_0011_0021__eyes,conj1).
arc(z_0011_5032,r_0011_0025__hair,conj2).
arc(z_0011_5033,z_0011_5024,arg0).
arc(z_0011_5033,z_0011_5032,z_0011_5025).
arc(z_0011_5053,r_0011_0049__drunk,scope).

fof(formula,axiom,
    ? [R_0011_0010__AND] :
      ( r_0011_0010__And(R_0011_0010__AND)
      & ! [Z_0011_5011] :
          ( z_0011_5011(Z_0011_5011)
         => ? [Z_0011_5017,R_0011_0015__BEWARE,Z_0011_5020,R_0011_0017__BEWARE,R_0011_0019__HIS,R_0011_0028__A_R_0011_0029__CIRCLE,R_0011_0032__THRICE,Z_0011_5036,R_0011_0027__WEAVE,R_0011_0036__YOUR,R_0011_0037__EYES,R_0011_0039__HOLY,R_0011_0040__DREAD,Z_0011_5042,R_0011_0035__CLOSE,R_0011_0044__HONEY__HYPHEN__DEW,R_0011_0045__HATH_R_0011_0043__ON_R_0011_0046__FED,R_0011_0053__PARADISE,R_0011_0050__THE_R_0011_0051__MILK,Z_0011_5053_R_0011_0049__DRUNK,R_0011_0048__AND,R_0011_0041__FOR,Z_0011_5024,R_0011_0020__FLASHING,R_0011_0021__EYES,R_0011_0024__FLOATING,R_0011_0025__HAIR,Z_0011_5032,Z_0011_5033,Z_0011_5015__UTTERANCE,R_0011_0012__SHOULD_R_0011_0013__CRY] :
              ( r_0011_0019__His(R_0011_0019__HIS)
              & r_0011_0020__flashing(R_0011_0020__FLASHING)
              & r_0011_0024__floating(R_0011_0024__FLOATING)
              & r_0011_0032__thrice(R_0011_0032__THRICE)
              & r_0011_0036__your(R_0011_0036__YOUR)
              & r_0011_0039__holy(R_0011_0039__HOLY)
              & r_0011_0044__honey__hyphen__dew(R_0011_0044__HONEY__HYPHEN__DEW)
              & r_0011_0053__Paradise(R_0011_0053__PARADISE)
              & z_0011_5017(Z_0011_5017)
              & z_0011_5020(Z_0011_5020)
              & z_0011_5024(Z_0011_5024)
              & z_0011_5036(Z_0011_5036)
              & z_0011_5042(Z_0011_5042)
              & r_0011_0012__should_r_0011_0013__cry(R_0011_0012__SHOULD_R_0011_0013__CRY)
              & has_arg1(R_0011_0012__SHOULD_R_0011_0013__CRY,Z_0011_5015__UTTERANCE)
              & z_0011_5015__utterance(Z_0011_5015__UTTERANCE)
              & has_part3(Z_0011_5015__UTTERANCE,Z_0011_5033)
              & z_0011_5033(Z_0011_5033)
              & has_z_0011_5025(Z_0011_5033,Z_0011_5032)
              & z_0011_5032(Z_0011_5032)
              & has_conj2(Z_0011_5032,R_0011_0025__HAIR)
              & r_0011_0025__hair(R_0011_0025__HAIR)
              & has_attrib(R_0011_0025__HAIR,R_0011_0024__FLOATING)
              & has_gen(R_0011_0025__HAIR,R_0011_0019__HIS)
              & has_conj1(Z_0011_5032,R_0011_0021__EYES)
              & r_0011_0021__eyes(R_0011_0021__EYES)
              & has_attrib(R_0011_0021__EYES,R_0011_0020__FLASHING)
              & has_gen(R_0011_0021__EYES,R_0011_0019__HIS)
              & has_arg0(Z_0011_5033,Z_0011_5024)
              & has_part5(Z_0011_5015__UTTERANCE,R_0011_0041__FOR)
              & r_0011_0041__For(R_0011_0041__FOR)
              & has_conj1(R_0011_0041__FOR,R_0011_0048__AND)
              & r_0011_0048__And(R_0011_0048__AND)
              & has_conj2(R_0011_0048__AND,Z_0011_5053_R_0011_0049__DRUNK)
              & z_0011_5053_r_0011_0049__drunk(Z_0011_5053_R_0011_0049__DRUNK)
              & has_arg1(Z_0011_5053_R_0011_0049__DRUNK,R_0011_0050__THE_R_0011_0051__MILK)
              & r_0011_0050__the_r_0011_0051__milk(R_0011_0050__THE_R_0011_0051__MILK)
              & has_r_0011_0052__of(R_0011_0050__THE_R_0011_0051__MILK,R_0011_0053__PARADISE)
              & has_arg0(Z_0011_5053_R_0011_0049__DRUNK,R_0011_0019__HIS)
              & has_conj1(R_0011_0048__AND,R_0011_0045__HATH_R_0011_0043__ON_R_0011_0046__FED)
              & r_0011_0045__hath_r_0011_0043__on_r_0011_0046__fed(R_0011_0045__HATH_R_0011_0043__ON_R_0011_0046__FED)
              & has_arg1(R_0011_0045__HATH_R_0011_0043__ON_R_0011_0046__FED,R_0011_0044__HONEY__HYPHEN__DEW)
              & has_arg0(R_0011_0045__HATH_R_0011_0043__ON_R_0011_0046__FED,R_0011_0019__HIS)
              & has_conj2(R_0011_0041__FOR,R_0011_0035__CLOSE)
              & r_0011_0035__close(R_0011_0035__CLOSE)
              & has_arg0(R_0011_0035__CLOSE,Z_0011_5042)
              & has_r_0011_0038__with__nim(R_0011_0035__CLOSE,R_0011_0040__DREAD)
              & r_0011_0040__dread(R_0011_0040__DREAD)
              & has_attrib(R_0011_0040__DREAD,R_0011_0039__HOLY)
              & has_arg1(R_0011_0035__CLOSE,R_0011_0037__EYES)
              & r_0011_0037__eyes(R_0011_0037__EYES)
              & has_gen(R_0011_0037__EYES,R_0011_0036__YOUR)
              & has_part4(Z_0011_5015__UTTERANCE,R_0011_0027__WEAVE)
              & r_0011_0027__Weave(R_0011_0027__WEAVE)
              & has_arg0(R_0011_0027__WEAVE,Z_0011_5036)
              & has_nim(R_0011_0027__WEAVE,R_0011_0032__THRICE)
              & has_arg1(R_0011_0027__WEAVE,R_0011_0028__A_R_0011_0029__CIRCLE)
              & r_0011_0028__a_r_0011_0029__circle(R_0011_0028__A_R_0011_0029__CIRCLE)
              & has_r_0011_0030__round(R_0011_0028__A_R_0011_0029__CIRCLE,R_0011_0019__HIS)
              & has_part2(Z_0011_5015__UTTERANCE,R_0011_0017__BEWARE)
              & r_0011_0017__Beware(R_0011_0017__BEWARE)
              & has_arg0(R_0011_0017__BEWARE,Z_0011_5020)
              & has_part1(Z_0011_5015__UTTERANCE,R_0011_0015__BEWARE)
              & r_0011_0015__Beware(R_0011_0015__BEWARE)
              & has_arg0(R_0011_0015__BEWARE,Z_0011_5017)
              & has_arg0(R_0011_0012__SHOULD_R_0011_0013__CRY,Z_0011_5011) ) )
      & ! [Z_0011_5004,R_0011_0004__HEARD] :
          ( ( z_0011_5004(Z_0011_5004)
            & r_0011_0004__heard(R_0011_0004__HEARD)
            & has_arg0(R_0011_0004__HEARD,Z_0011_5004) )
         => ? [R_0011_0007__THEM,R_0011_0008__THERE,R_0011_0005__SHOULD_R_0011_0006__SEE] :
              ( r_0011_0007__them(R_0011_0007__THEM)
              & r_0011_0008__there(R_0011_0008__THERE)
              & r_0011_0005__should_r_0011_0006__see(R_0011_0005__SHOULD_R_0011_0006__SEE)
              & has_arg0(R_0011_0005__SHOULD_R_0011_0006__SEE,Z_0011_5004)
              & has_nim(R_0011_0005__SHOULD_R_0011_0006__SEE,R_0011_0008__THERE)
              & has_arg1(R_0011_0005__SHOULD_R_0011_0006__SEE,R_0011_0007__THEM) ) ) ) ).