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.

arc(r_0023_0002__a_r_0023_0004__flower, r_0023_0003__beautiful, attrib10).
arc(r_0023_0005__put_r_0023_0008__out, r_0023_0001__Once, nim4).
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_nim28).
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, emb79).
arc(r_0023_0024__sorry, r_0023_0023__so, qual63).
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, clr89).
arc(r_0023_0030__slipped, r_0023_0035__again, nim100).
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_000_23_a_wilde_2_1888_114, conj2).
arc(r_0023_0038__went, r_0023_0002__a_r_0023_0004__flower, arg0).
arc(r_0023_0038__went, r_0023_0039__off, nim111).
arc(r_0023_0040__to_r_0023_0041__sleep, r_0023_0002__a_r_0023_0004__flower, arg0).
arc(z_000_23_a_wilde_2_1888_114, r_0023_0038__went, scope).
arc(z_000_23_a_wilde_2_1888_114, r_0023_0040__to_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_0040__TO_R_0023_0041__SLEEP,Z_000_23_A_WILDE_2_1888_114,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_qual63(R_0023_0024__SORRY,R_0023_0023__SO)
              & r_0023_0023__so(R_0023_0023__SO)
              & has_emb79(R_0023_0023__SO,R_0023_0037__AND)
              & r_0023_0037__and(R_0023_0037__AND)
              & has_conj2(R_0023_0037__AND,Z_000_23_A_WILDE_2_1888_114)
              & z_000_23_a_wilde_2_1888_114(Z_000_23_A_WILDE_2_1888_114)
              & has_conj1(Z_000_23_A_WILDE_2_1888_114,R_0023_0040__TO_R_0023_0041__SLEEP)
              & r_0023_0040__to_r_0023_0041__sleep(R_0023_0040__TO_R_0023_0041__SLEEP)
              & has_arg0(R_0023_0040__TO_R_0023_0041__SLEEP,R_0023_0002__A_R_0023_0004__FLOWER)
              & has_conj2(Z_000_23_A_WILDE_2_1888_114,R_0023_0038__WENT)
              & r_0023_0038__went(R_0023_0038__WENT)
              & has_nim111(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_nim100(R_0023_0030__SLIPPED,R_0023_0035__AGAIN)
              & has_clr89(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_nim28(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_attrib10(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_nim4(R_0023_0005__PUT_R_0023_0008__OUT,R_0023_0001__ONCE) ) ).

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