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_23_13_BUT,R_23_5_PUT_OUT,R_23_7_HEAD,R_23_2_A_FLOWER,R_23_3_BEAUTIFUL,R_23_1_ONCE,R_23_10_THE_GRASS] :
      ( beautiful(R_23_3_BEAUTIFUL)
      & once(R_23_1_ONCE)
      & the_grass(R_23_10_THE_GRASS)
      & ! [R_23_16_SAW,R_23_17_THE_NOTICE_BOARD] :
          ( ( the_notice_board(R_23_17_THE_NOTICE_BOARD)
            & saw(R_23_16_SAW,R_23_2_A_FLOWER,R_23_17_THE_NOTICE_BOARD) )
         => ? [R_23_22_WAS,R_23_24_SORRY,R_23_23_SO,R_23_37_AND,R_23_30_SLIPPED,R_23_31_BACK,R_23_33_THE_GROUND,R_23_35_AGAIN,Z_23_A_WILDE_2_1888_114,R_23_40_TO_SLEEP,R_23_38_WENT,R_23_39_OFF,R_23_26_THE_CHILDREN] :
              ( the_ground(R_23_33_THE_GROUND)
              & again(R_23_35_AGAIN)
              & off(R_23_39_OFF)
              & the_children(R_23_26_THE_CHILDREN)
              & was(R_23_22_WAS,R_23_2_A_FLOWER,R_23_24_SORRY)
              & sorry(R_23_24_SORRY)
              & qual63(R_23_24_SORRY,R_23_23_SO)
              & so(R_23_23_SO)
              & emb79(R_23_23_SO,R_23_37_AND)
              & and(R_23_37_AND)
              & conj1(R_23_37_AND,R_23_30_SLIPPED)
              & slipped(R_23_30_SLIPPED,R_23_2_A_FLOWER)
              & clr89(R_23_30_SLIPPED,R_23_31_BACK)
              & back(R_23_31_BACK)
              & into(R_23_31_BACK,R_23_33_THE_GROUND)
              & nim100(R_23_30_SLIPPED,R_23_35_AGAIN)
              & conj2(R_23_37_AND,Z_23_A_WILDE_2_1888_114)
              & z_23_a_wilde_2_1888_114(Z_23_A_WILDE_2_1888_114)
              & conj1(Z_23_A_WILDE_2_1888_114,R_23_40_TO_SLEEP)
              & to_sleep(R_23_40_TO_SLEEP,R_23_2_A_FLOWER)
              & conj2(Z_23_A_WILDE_2_1888_114,R_23_38_WENT)
              & went(R_23_38_WENT,R_23_2_A_FLOWER)
              & nim111(R_23_38_WENT,R_23_39_OFF)
              & for(R_23_24_SORRY,R_23_26_THE_CHILDREN) ) )
      & conj2(CONJ2)
      & but(R_23_13_BUT)
      & conj1(R_23_13_BUT,R_23_5_PUT_OUT)
      & put_out(R_23_5_PUT_OUT,R_23_2_A_FLOWER,R_23_7_HEAD)
      & a_flower(R_23_2_A_FLOWER)
      & attrib10(R_23_2_A_FLOWER,R_23_3_BEAUTIFUL)
      & head(R_23_7_HEAD)
      & gen(R_23_7_HEAD,R_23_2_A_FLOWER)
      & nim4(R_23_5_PUT_OUT,R_23_1_ONCE)
      & from_nim28(R_23_5_PUT_OUT,R_23_10_THE_GRASS) ) ).

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