TSPC 23_a_wilde_2

23_a_wilde_2_1888
Once a beautiful flower put its head out from the grass, but when it saw the notice - board it was so sorry for the children that it slipped back into the ground again, and went off to sleep.

( (IP-MAT (ILYR (ILYR (ADVP-NIM (ADV Once;{once}))
                      (NP-SBJ;{FLOWER} (D a;{a})
                                       (ADJP (ADJ beautiful;{beautiful}))
                                       (N flower;{flower}))
                      (VBD;__ put;{put})
                      (NP-OB1 (NP-GEN;{FLOWER} (PRO;_genm_ its;{its}))
                              (N head;{head}))
                      (RP out;{out})
                      (PP-NIM (P-ROLE from;{from})
                              (NP (D the;{the})
                                  (N grass;{grass}))))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (PP-SCON (P-CONN when;{when})
                                      (IP-ADV (NP-SBJ;{FLOWER} (PRO it;{it}))
                                              (VBD;_Tn_ saw;{see})
                                              (NP-OB1 (D the;{the})
                                                      (N notice;{notice})
                                                      (PUNC <hyphen>)
                                                      (N board;{board}))))
                             (NP-SBJ;{FLOWER} (PRO it;{it}))
                             (BED;_La_ was;{be})
                             (ADJP-PRD (ADVP (ADV so;{so})
                                             (CP-THT *ICH*-159))
                                       (ADJ sorry;{sorry})
                                       (PP (P-ROLE for;{for})
                                           (NP (D the;{the})
                                               (NS children;{child})))
                                       (CP-THT-EPD-159 (IP-SUB (C that;{that})
                                                               (NP-SBJ;{FLOWER} (PRO it;{it}))
                                                               (ILYR (ILYR (VBD;_Ip_ slipped;{slip[back]})
                                                                           (ADVP-CLR (ADV back;{back})
                                                                                     (PP (P-ROLE into;{into})
                                                                                         (NP (D the;{the})
                                                                                             (N ground;{ground}))))
                                                                           (ADVP-NIM (ADV again;{again})))
                                                                     (PUNC ,)
                                                                     (CONJP (CONJ and;{and})
                                                                            (ILYR (VBD;__ went;{go})
                                                                                  (ADVP-NIM (RP off;{off}))
                                                                                  (PP-SCON (IP-INF (TO to;{to})
                                                                                                   (VB;__ sleep;{sleep}))))))))))))
          (PUNC .))
  (ID 23_a_wilde_2_1888))

arc(r_0023_0002__a_r_0023_0004__flower,r_0023_0003__beautiful,attrib).
arc(r_0023_0005__put_r_0023_0008__out,r_0023_0001__Once,nim).
arc(r_0023_0005__put_r_0023_0008__out,r_0023_0002__a_r_0023_0004__flower,arg0).
arc(r_0023_0005__put_r_0023_0008__out,r_0023_0007__head,arg1).
arc(r_0023_0005__put_r_0023_0008__out,r_0023_0010__the_r_0023_0011__grass,r_0023_0009__from__nim).
arc(r_0023_0007__head,r_0023_0002__a_r_0023_0004__flower,gen).
arc(r_0023_0013__but,r_0023_0005__put_r_0023_0008__out,conj1).
arc(r_0023_0013__but,r_0023_0014__when,conj2).
arc(r_0023_0014__when,r_0023_0016__saw,restriction).
arc(r_0023_0014__when,r_0023_0022__was,scope).
arc(r_0023_0016__saw,r_0023_0002__a_r_0023_0004__flower,arg0).
arc(r_0023_0016__saw,r_0023_0017__the_r_0023_0018__notice_r_0023_0020__board,arg1).
arc(r_0023_0022__was,r_0023_0002__a_r_0023_0004__flower,arg0).
arc(r_0023_0022__was,r_0023_0024__sorry,prd).
arc(r_0023_0023__so,r_0023_0037__and,emb).
arc(r_0023_0024__sorry,r_0023_0023__so,qual).
arc(r_0023_0024__sorry,r_0023_0026__the_r_0023_0027__children,r_0023_0025__for).
arc(r_0023_0030__slipped,r_0023_0002__a_r_0023_0004__flower,arg0).
arc(r_0023_0030__slipped,r_0023_0031__back,clr).
arc(r_0023_0030__slipped,r_0023_0035__again,nim).
arc(r_0023_0031__back,r_0023_0033__the_r_0023_0034__ground,r_0023_0032__into).
arc(r_0023_0037__and,r_0023_0030__slipped,conj1).
arc(r_0023_0037__and,z_0023_5020,conj2).
arc(r_0023_0038__went,r_0023_0002__a_r_0023_0004__flower,arg0).
arc(r_0023_0038__went,r_0023_0039__off,nim).
arc(r_0023_0041__sleep,r_0023_0002__a_r_0023_0004__flower,arg0).
arc(z_0023_5020,r_0023_0038__went,scope).
arc(z_0023_5020,r_0023_0041__sleep,restriction).

fof(formula,axiom,
    ? [R_0023_0001__ONCE,R_0023_0003__BEAUTIFUL,R_0023_0002__A_R_0023_0004__FLOWER,R_0023_0007__HEAD,R_0023_0010__THE_R_0023_0011__GRASS,R_0023_0005__PUT_R_0023_0008__OUT,R_0023_0013__BUT] :
      ( r_0023_0001__Once(R_0023_0001__ONCE)
      & r_0023_0003__beautiful(R_0023_0003__BEAUTIFUL)
      & r_0023_0010__the_r_0023_0011__grass(R_0023_0010__THE_R_0023_0011__GRASS)
      & r_0023_0013__but(R_0023_0013__BUT)
      & ! [R_0023_0016__SAW,R_0023_0017__THE_R_0023_0018__NOTICE_R_0023_0020__BOARD] :
          ( ( r_0023_0017__the_r_0023_0018__notice_r_0023_0020__board(R_0023_0017__THE_R_0023_0018__NOTICE_R_0023_0020__BOARD)
            & r_0023_0016__saw(R_0023_0016__SAW)
            & has_arg1(R_0023_0016__SAW,R_0023_0017__THE_R_0023_0018__NOTICE_R_0023_0020__BOARD)
            & has_arg0(R_0023_0016__SAW,R_0023_0002__A_R_0023_0004__FLOWER) )
         => ? [R_0023_0033__THE_R_0023_0034__GROUND,R_0023_0031__BACK,R_0023_0035__AGAIN,R_0023_0030__SLIPPED,R_0023_0039__OFF,R_0023_0038__WENT,R_0023_0041__SLEEP,Z_0023_5020,R_0023_0037__AND,R_0023_0023__SO,R_0023_0026__THE_R_0023_0027__CHILDREN,R_0023_0024__SORRY,R_0023_0022__WAS] :
              ( r_0023_0026__the_r_0023_0027__children(R_0023_0026__THE_R_0023_0027__CHILDREN)
              & r_0023_0033__the_r_0023_0034__ground(R_0023_0033__THE_R_0023_0034__GROUND)
              & r_0023_0035__again(R_0023_0035__AGAIN)
              & r_0023_0039__off(R_0023_0039__OFF)
              & r_0023_0022__was(R_0023_0022__WAS)
              & has_prd(R_0023_0022__WAS,R_0023_0024__SORRY)
              & r_0023_0024__sorry(R_0023_0024__SORRY)
              & has_r_0023_0025__for(R_0023_0024__SORRY,R_0023_0026__THE_R_0023_0027__CHILDREN)
              & has_qual(R_0023_0024__SORRY,R_0023_0023__SO)
              & r_0023_0023__so(R_0023_0023__SO)
              & has_emb(R_0023_0023__SO,R_0023_0037__AND)
              & r_0023_0037__and(R_0023_0037__AND)
              & has_conj2(R_0023_0037__AND,Z_0023_5020)
              & z_0023_5020(Z_0023_5020)
              & has_conj1(Z_0023_5020,R_0023_0041__SLEEP)
              & r_0023_0041__sleep(R_0023_0041__SLEEP)
              & has_arg0(R_0023_0041__SLEEP,R_0023_0002__A_R_0023_0004__FLOWER)
              & has_conj2(Z_0023_5020,R_0023_0038__WENT)
              & r_0023_0038__went(R_0023_0038__WENT)
              & has_nim(R_0023_0038__WENT,R_0023_0039__OFF)
              & has_arg0(R_0023_0038__WENT,R_0023_0002__A_R_0023_0004__FLOWER)
              & has_conj1(R_0023_0037__AND,R_0023_0030__SLIPPED)
              & r_0023_0030__slipped(R_0023_0030__SLIPPED)
              & has_nim(R_0023_0030__SLIPPED,R_0023_0035__AGAIN)
              & has_clr(R_0023_0030__SLIPPED,R_0023_0031__BACK)
              & r_0023_0031__back(R_0023_0031__BACK)
              & has_r_0023_0032__into(R_0023_0031__BACK,R_0023_0033__THE_R_0023_0034__GROUND)
              & has_arg0(R_0023_0030__SLIPPED,R_0023_0002__A_R_0023_0004__FLOWER)
              & has_arg0(R_0023_0022__WAS,R_0023_0002__A_R_0023_0004__FLOWER) ) )
      & has_conj1(R_0023_0013__BUT,R_0023_0005__PUT_R_0023_0008__OUT)
      & r_0023_0005__put_r_0023_0008__out(R_0023_0005__PUT_R_0023_0008__OUT)
      & has_r_0023_0009__from__nim(R_0023_0005__PUT_R_0023_0008__OUT,R_0023_0010__THE_R_0023_0011__GRASS)
      & has_arg1(R_0023_0005__PUT_R_0023_0008__OUT,R_0023_0007__HEAD)
      & r_0023_0007__head(R_0023_0007__HEAD)
      & has_gen(R_0023_0007__HEAD,R_0023_0002__A_R_0023_0004__FLOWER)
      & r_0023_0002__a_r_0023_0004__flower(R_0023_0002__A_R_0023_0004__FLOWER)
      & has_attrib(R_0023_0002__A_R_0023_0004__FLOWER,R_0023_0003__BEAUTIFUL)
      & has_arg0(R_0023_0005__PUT_R_0023_0008__OUT,R_0023_0002__A_R_0023_0004__FLOWER)
      & has_nim(R_0023_0005__PUT_R_0023_0008__OUT,R_0023_0001__ONCE) ) ).