TSPC 47_a_wilde_2

47_a_wilde_2_1888
And the trees were so glad to have the children back again that they had covered themselves with blossoms, and were waving their arms gently above the children's heads.

arc(r_0047_0004__were, r_0047_0002__the_r_0047_0003__trees, arg0).
arc(r_0047_0004__were, r_0047_0006__glad, prd).
arc(r_0047_0005__so, r_0047_0013__that_r_0047_0015__had, emb38).
arc(r_0047_0006__glad, r_0047_0005__so, qual14).
arc(r_0047_0006__glad, r_0047_0007__to_r_0047_0008__have, emb21).
arc(r_0047_0007__to_r_0047_0008__have, r_0047_0009__the_r_0047_0010__children, arg1).
arc(r_0047_0007__to_r_0047_0008__have, r_0047_0012__again, nim31).
arc(r_0047_0007__to_r_0047_0008__have, z_000_47_a_wilde_2_1888_21, arg0).
arc(r_0047_0012__again, r_0047_0011__back, qual32).
arc(r_0047_0013__that_r_0047_0015__had, r_0047_0016__covered, scope).
arc(r_0047_0016__covered, r_0047_0002__the_r_0047_0003__trees, arg0).
arc(r_0047_0016__covered, r_0047_0017__themselves, arg1).
arc(r_0047_0016__covered, r_0047_0019__blossoms, r_0047_0018__with_clr55).
arc(r_0047_0021__and, r_0047_0004__were, conj1).
arc(r_0047_0021__and, r_0047_0022__were, conj2).
arc(r_0047_0022__were, r_0047_0023__waving, scope).
arc(r_0047_0023__waving, r_0047_0002__the_r_0047_0003__trees, arg0).
arc(r_0047_0023__waving, r_0047_0025__arms, arg1).
arc(r_0047_0023__waving, r_0047_0026__gently, nim75).
arc(r_0047_0023__waving, r_0047_0031__heads, r_0047_0027__above_nim81).
arc(r_0047_0025__arms, r_0047_0002__the_r_0047_0003__trees, gen).
arc(r_0047_0031__heads, r_0047_0028__the_r_0047_0029__children_r_0047_0030___apos_s, gen).

fof(formula,axiom,
    ? [R_0047_0002__THE_R_0047_0003__TREES,R_0047_0017__THEMSELVES,R_0047_0019__BLOSSOMS,R_0047_0013__THAT_R_0047_0015__HAD_R_0047_0016__COVERED,R_0047_0005__SO,R_0047_0009__THE_R_0047_0010__CHILDREN,R_0047_0011__BACK,R_0047_0012__AGAIN,Z_000_47_A_WILDE_2_1888_21,R_0047_0007__TO_R_0047_0008__HAVE,R_0047_0006__GLAD,R_0047_0004__WERE,R_0047_0025__ARMS,R_0047_0026__GENTLY,R_0047_0028__THE_R_0047_0029__CHILDREN_R_0047_0030___APOS_S,R_0047_0031__HEADS,R_0047_0022__WERE_R_0047_0023__WAVING,R_0047_0021__AND] :
      ( r_0047_0002__the_r_0047_0003__trees(R_0047_0002__THE_R_0047_0003__TREES)
      & r_0047_0009__the_r_0047_0010__children(R_0047_0009__THE_R_0047_0010__CHILDREN)
      & r_0047_0011__back(R_0047_0011__BACK)
      & r_0047_0017__themselves(R_0047_0017__THEMSELVES)
      & r_0047_0019__blossoms(R_0047_0019__BLOSSOMS)
      & r_0047_0026__gently(R_0047_0026__GENTLY)
      & r_0047_0028__the_r_0047_0029__children_r_0047_0030___apos_s(R_0047_0028__THE_R_0047_0029__CHILDREN_R_0047_0030___APOS_S)
      & z_000_47_a_wilde_2_1888_21(Z_000_47_A_WILDE_2_1888_21)
      & r_0047_0021__and(R_0047_0021__AND)
      & has_conj2(R_0047_0021__AND,R_0047_0022__WERE_R_0047_0023__WAVING)
      & r_0047_0022__were_r_0047_0023__waving(R_0047_0022__WERE_R_0047_0023__WAVING)
      & has_r_0047_0027__above_nim81(R_0047_0022__WERE_R_0047_0023__WAVING,R_0047_0031__HEADS)
      & r_0047_0031__heads(R_0047_0031__HEADS)
      & has_gen(R_0047_0031__HEADS,R_0047_0028__THE_R_0047_0029__CHILDREN_R_0047_0030___APOS_S)
      & has_nim75(R_0047_0022__WERE_R_0047_0023__WAVING,R_0047_0026__GENTLY)
      & has_arg1(R_0047_0022__WERE_R_0047_0023__WAVING,R_0047_0025__ARMS)
      & r_0047_0025__arms(R_0047_0025__ARMS)
      & has_gen(R_0047_0025__ARMS,R_0047_0002__THE_R_0047_0003__TREES)
      & has_arg0(R_0047_0022__WERE_R_0047_0023__WAVING,R_0047_0002__THE_R_0047_0003__TREES)
      & has_conj1(R_0047_0021__AND,R_0047_0004__WERE)
      & r_0047_0004__were(R_0047_0004__WERE)
      & has_prd(R_0047_0004__WERE,R_0047_0006__GLAD)
      & r_0047_0006__glad(R_0047_0006__GLAD)
      & has_emb21(R_0047_0006__GLAD,R_0047_0007__TO_R_0047_0008__HAVE)
      & r_0047_0007__to_r_0047_0008__have(R_0047_0007__TO_R_0047_0008__HAVE)
      & has_arg0(R_0047_0007__TO_R_0047_0008__HAVE,Z_000_47_A_WILDE_2_1888_21)
      & has_nim31(R_0047_0007__TO_R_0047_0008__HAVE,R_0047_0012__AGAIN)
      & r_0047_0012__again(R_0047_0012__AGAIN)
      & has_qual32(R_0047_0012__AGAIN,R_0047_0011__BACK)
      & has_arg1(R_0047_0007__TO_R_0047_0008__HAVE,R_0047_0009__THE_R_0047_0010__CHILDREN)
      & has_qual14(R_0047_0006__GLAD,R_0047_0005__SO)
      & r_0047_0005__so(R_0047_0005__SO)
      & has_emb38(R_0047_0005__SO,R_0047_0013__THAT_R_0047_0015__HAD_R_0047_0016__COVERED)
      & r_0047_0013__that_r_0047_0015__had_r_0047_0016__covered(R_0047_0013__THAT_R_0047_0015__HAD_R_0047_0016__COVERED)
      & has_r_0047_0018__with_clr55(R_0047_0013__THAT_R_0047_0015__HAD_R_0047_0016__COVERED,R_0047_0019__BLOSSOMS)
      & has_arg1(R_0047_0013__THAT_R_0047_0015__HAD_R_0047_0016__COVERED,R_0047_0017__THEMSELVES)
      & has_arg0(R_0047_0013__THAT_R_0047_0015__HAD_R_0047_0016__COVERED,R_0047_0002__THE_R_0047_0003__TREES)
      & has_arg0(R_0047_0004__WERE,R_0047_0002__THE_R_0047_0003__TREES) ) ).

( (IP-MAT (CONJ;_cl_ And;{and})
          (NP-SBJ;{TREES} (D the;{the})
                          (NS trees;{tree}))
          (ILYR (ILYR (BED;_La_ were;{be})
                      (ADJP-PRD (ADVP (ADV so;{so})
                                      (CP-THT *ICH*-172))
                                (ADJ glad;{glad})
                                (IP-INF (TO to;{to})
                                        (HV;_Tn_ have;{have})
                                        (NP-OB1;{CHILDREN} (D the;{the})
                                                           (NS children;{child}))
                                        (ADVP-NIM (ADVP (ADV back;{back}))
                                                  (ADV again;{again})))
                                (CP-THT-EPD-172 (IP-SUB (C that;{that})
                                                        (NP-SBJ;{TREES} (PRO they;{they}))
                                                        (HVD;_cat_Ve_ had;{have})
                                                        (IP-PPL-CAT (VVN;_Tn.pr_ covered;{cover[with]})
                                                                    (NP-OB1 (PNX themselves;{themselves}))
                                                                    (PP-CLR (P-ROLE with;{with})
                                                                            (NP (NS blossoms;{blossom}))))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (BED;_cat_Vg_ were;{be})
                             (IP-PPL-CAT (VAG;_Tn_ waving;{wave})
                                         (NP-OB1 (NP-GEN;{TREES} (PRO;_genm_ their;{their}))
                                                 (NS arms;{arm}))
                                         (ADVP-NIM (ADV gently;{gently}))
                                         (PP-NIM (P-ROLE above;{above})
                                                 (NP (NP-GEN;{CHILDREN} (D the;{the})
                                                                        (NS children;{child})
                                                                        (GENM <apos>s))
                                                     (NS heads;{head})))))))
          (PUNC .))
  (ID 47_a_wilde_2_1888))