5_a_wilde_2_1888
The birds sat on the trees and sang so sweetly that the children used to stop their games in order to listen to them.

%3 r_0005_0003__sat sat r_0005_0001__The_r_0005_0002__birds The birds r_0005_0003__sat->r_0005_0001__The_r_0005_0002__birds [arg0] r_0005_0005__the_r_0005_0006__trees the trees r_0005_0003__sat->r_0005_0005__the_r_0005_0006__trees on [clr] r_0005_0007__and and r_0005_0007__and->r_0005_0003__sat [conj1] r_0005_0008__sang sang r_0005_0007__and->r_0005_0008__sang [conj2] r_0005_0008__sang->r_0005_0001__The_r_0005_0002__birds [arg0] r_0005_0010__sweetly sweetly r_0005_0008__sang->r_0005_0010__sweetly [nim] r_0005_0009__so so r_0005_0010__sweetly->r_0005_0009__so [qual] r_0005_0019__in_order in order r_0005_0009__so->r_0005_0019__in_order [emb] r_0005_0011__that_r_0005_0014__used that used r_0005_0019__in_order->r_0005_0011__that_r_0005_0014__used [scope] r_0005_0020__to_r_0005_0021__listen to listen r_0005_0019__in_order->r_0005_0020__to_r_0005_0021__listen [restriction] r_0005_0015__to_r_0005_0016__stop to stop r_0005_0011__that_r_0005_0014__used->r_0005_0015__to_r_0005_0016__stop [scope] r_0005_0012__the_r_0005_0013__children the children r_0005_0015__to_r_0005_0016__stop->r_0005_0012__the_r_0005_0013__children [arg0] r_0005_0018__games games r_0005_0015__to_r_0005_0016__stop->r_0005_0018__games [arg1] r_0005_0018__games->r_0005_0012__the_r_0005_0013__children [gen] r_0005_0020__to_r_0005_0021__listen->r_0005_0001__The_r_0005_0002__birds to [clr] r_0005_0020__to_r_0005_0021__listen->r_0005_0012__the_r_0005_0013__children [arg0]
arc(r_0005_0003__sat, r_0005_0001__The_r_0005_0002__birds, arg0).
arc(r_0005_0003__sat, r_0005_0005__the_r_0005_0006__trees, r_0005_0004__on_clr14).
arc(r_0005_0007__and, r_0005_0003__sat, conj1).
arc(r_0005_0007__and, r_0005_0008__sang, conj2).
arc(r_0005_0008__sang, r_0005_0001__The_r_0005_0002__birds, arg0).
arc(r_0005_0008__sang, r_0005_0010__sweetly, nim25).
arc(r_0005_0009__so, r_0005_0019__in_order, emb34).
arc(r_0005_0010__sweetly, r_0005_0009__so, qual26).
arc(r_0005_0011__that_r_0005_0014__used, r_0005_0015__to_r_0005_0016__stop, scope).
arc(r_0005_0015__to_r_0005_0016__stop, r_0005_0012__the_r_0005_0013__children, arg0).
arc(r_0005_0015__to_r_0005_0016__stop, r_0005_0018__games, arg1).
arc(r_0005_0018__games, r_0005_0012__the_r_0005_0013__children, gen).
arc(r_0005_0019__in_order, r_0005_0011__that_r_0005_0014__used, scope).
arc(r_0005_0019__in_order, r_0005_0020__to_r_0005_0021__listen, restriction).
arc(r_0005_0020__to_r_0005_0021__listen, r_0005_0001__The_r_0005_0002__birds, r_0005_0022__to_clr66).
arc(r_0005_0020__to_r_0005_0021__listen, r_0005_0012__the_r_0005_0013__children, arg0).



%3 r_0005_0003__sat sat r_0005_0001__The_r_0005_0002__birds The birds r_0005_0003__sat->r_0005_0001__The_r_0005_0002__birds [arg0] r_0005_0005__the_r_0005_0006__trees the trees r_0005_0003__sat->r_0005_0005__the_r_0005_0006__trees on [clr] r_0005_0007__and and r_0005_0007__and->r_0005_0003__sat [conj1] r_0005_0008__sang sang r_0005_0007__and->r_0005_0008__sang [conj2] r_0005_0008__sang->r_0005_0001__The_r_0005_0002__birds [arg0] r_0005_0010__sweetly sweetly r_0005_0008__sang->r_0005_0010__sweetly [nim] r_0005_0009__so so r_0005_0010__sweetly->r_0005_0009__so [qual] r_0005_0019__in_order in order r_0005_0009__so->r_0005_0019__in_order [emb] r_0005_0011__that_r_0005_0014__used_r_0005_0015__to_r_0005_0016__stop that used to stop r_0005_0019__in_order->r_0005_0011__that_r_0005_0014__used_r_0005_0015__to_r_0005_0016__stop [conj2] r_0005_0020__to_r_0005_0021__listen to listen r_0005_0019__in_order->r_0005_0020__to_r_0005_0021__listen [conj1] r_0005_0012__the_r_0005_0013__children the children r_0005_0011__that_r_0005_0014__used_r_0005_0015__to_r_0005_0016__stop->r_0005_0012__the_r_0005_0013__children [arg0] r_0005_0018__games games r_0005_0011__that_r_0005_0014__used_r_0005_0015__to_r_0005_0016__stop->r_0005_0018__games [arg1] r_0005_0018__games->r_0005_0012__the_r_0005_0013__children [gen] r_0005_0020__to_r_0005_0021__listen->r_0005_0001__The_r_0005_0002__birds to [clr] r_0005_0020__to_r_0005_0021__listen->r_0005_0012__the_r_0005_0013__children [arg0]
fof(formula,axiom,
    ? [R_5_7_AND,R_5_3_SAT,R_5_5_THE_TREES,R_5_8_SANG,R_5_10_SWEETLY,R_5_9_SO,R_5_19_IN_ORDER,R_5_20_TO_LISTEN,R_5_1_THE_BIRDS,R_5_11_THAT_USED_TO_STOP,R_5_18_GAMES,R_5_12_THE_CHILDREN] :
      ( the_trees(R_5_5_THE_TREES)
      & the_birds(R_5_1_THE_BIRDS)
      & the_children(R_5_12_THE_CHILDREN)
      & and(R_5_7_AND)
      & conj1(R_5_7_AND,R_5_3_SAT)
      & sat(R_5_3_SAT,R_5_1_THE_BIRDS)
      & on_clr14(R_5_3_SAT,R_5_5_THE_TREES)
      & conj2(R_5_7_AND,R_5_8_SANG)
      & sang(R_5_8_SANG,R_5_1_THE_BIRDS)
      & nim25(R_5_8_SANG,R_5_10_SWEETLY)
      & sweetly(R_5_10_SWEETLY)
      & qual26(R_5_10_SWEETLY,R_5_9_SO)
      & so(R_5_9_SO)
      & emb34(R_5_9_SO,R_5_19_IN_ORDER)
      & in_order(R_5_19_IN_ORDER)
      & conj1(R_5_19_IN_ORDER,R_5_20_TO_LISTEN)
      & to_listen(R_5_20_TO_LISTEN,R_5_12_THE_CHILDREN)
      & to_clr66(R_5_20_TO_LISTEN,R_5_1_THE_BIRDS)
      & conj2(R_5_19_IN_ORDER,R_5_11_THAT_USED_TO_STOP)
      & that_used_to_stop(R_5_11_THAT_USED_TO_STOP,R_5_12_THE_CHILDREN,R_5_18_GAMES)
      & games(R_5_18_GAMES)
      & gen(R_5_18_GAMES,R_5_12_THE_CHILDREN) ) ).



n5_a_wilde_2_1888 n5_a_wilde_2_1888_4 The n5_a_wilde_2_1888_6 birds n5_a_wilde_2_1888_10 sat n5_a_wilde_2_1888_13 on n5_a_wilde_2_1888_16 the n5_a_wilde_2_1888_18 trees n5_a_wilde_2_1888_21 and n5_a_wilde_2_1888_24 sang n5_a_wilde_2_1888_28 so n5_a_wilde_2_1888_30 *ICH*-163 n5_a_wilde_2_1888_32 sweetly n5_a_wilde_2_1888_36 that n5_a_wilde_2_1888_39 the n5_a_wilde_2_1888_41 children n5_a_wilde_2_1888_43 used n5_a_wilde_2_1888_46 to n5_a_wilde_2_1888_48 stop n5_a_wilde_2_1888_52 their n5_a_wilde_2_1888_54 games n5_a_wilde_2_1888_57 in_order n5_a_wilde_2_1888_60 to n5_a_wilde_2_1888_62 listen n5_a_wilde_2_1888_65 to n5_a_wilde_2_1888_68 them n5_a_wilde_2_1888_70 . n5_a_wilde_2_1888_1 IP-MAT n5_a_wilde_2_1888_2 NP-SBJ n5_a_wilde_2_1888_1->n5_a_wilde_2_1888_2 n5_a_wilde_2_1888_7 ILYR n5_a_wilde_2_1888_1->n5_a_wilde_2_1888_7 n5_a_wilde_2_1888_69 PUNC n5_a_wilde_2_1888_1->n5_a_wilde_2_1888_69 n5_a_wilde_2_1888_3 D n5_a_wilde_2_1888_2->n5_a_wilde_2_1888_3 n5_a_wilde_2_1888_5 NS n5_a_wilde_2_1888_2->n5_a_wilde_2_1888_5 n5_a_wilde_2_1888_3->n5_a_wilde_2_1888_4 n5_a_wilde_2_1888_5->n5_a_wilde_2_1888_6 n5_a_wilde_2_1888_8 ILYR n5_a_wilde_2_1888_7->n5_a_wilde_2_1888_8 n5_a_wilde_2_1888_19 CONJP n5_a_wilde_2_1888_7->n5_a_wilde_2_1888_19 n5_a_wilde_2_1888_9 VBD;_Ipr_ n5_a_wilde_2_1888_8->n5_a_wilde_2_1888_9 n5_a_wilde_2_1888_11 PP-CLR n5_a_wilde_2_1888_8->n5_a_wilde_2_1888_11 n5_a_wilde_2_1888_9->n5_a_wilde_2_1888_10 n5_a_wilde_2_1888_12 P-ROLE n5_a_wilde_2_1888_11->n5_a_wilde_2_1888_12 n5_a_wilde_2_1888_14 NP n5_a_wilde_2_1888_11->n5_a_wilde_2_1888_14 n5_a_wilde_2_1888_12->n5_a_wilde_2_1888_13 n5_a_wilde_2_1888_15 D n5_a_wilde_2_1888_14->n5_a_wilde_2_1888_15 n5_a_wilde_2_1888_17 NS n5_a_wilde_2_1888_14->n5_a_wilde_2_1888_17 n5_a_wilde_2_1888_15->n5_a_wilde_2_1888_16 n5_a_wilde_2_1888_17->n5_a_wilde_2_1888_18 n5_a_wilde_2_1888_20 CONJ n5_a_wilde_2_1888_19->n5_a_wilde_2_1888_20 n5_a_wilde_2_1888_22 ILYR n5_a_wilde_2_1888_19->n5_a_wilde_2_1888_22 n5_a_wilde_2_1888_20->n5_a_wilde_2_1888_21 n5_a_wilde_2_1888_23 VBD;_I_ n5_a_wilde_2_1888_22->n5_a_wilde_2_1888_23 n5_a_wilde_2_1888_25 ADVP-NIM n5_a_wilde_2_1888_22->n5_a_wilde_2_1888_25 n5_a_wilde_2_1888_23->n5_a_wilde_2_1888_24 n5_a_wilde_2_1888_26 ADVP n5_a_wilde_2_1888_25->n5_a_wilde_2_1888_26 n5_a_wilde_2_1888_31 ADV n5_a_wilde_2_1888_25->n5_a_wilde_2_1888_31 n5_a_wilde_2_1888_33 CP-THT-EPD-163 n5_a_wilde_2_1888_25->n5_a_wilde_2_1888_33 n5_a_wilde_2_1888_27 ADV n5_a_wilde_2_1888_26->n5_a_wilde_2_1888_27 n5_a_wilde_2_1888_29 CP-THT n5_a_wilde_2_1888_26->n5_a_wilde_2_1888_29 n5_a_wilde_2_1888_27->n5_a_wilde_2_1888_28 n5_a_wilde_2_1888_29->n5_a_wilde_2_1888_30 n5_a_wilde_2_1888_31->n5_a_wilde_2_1888_32 n5_a_wilde_2_1888_34 IP-SUB n5_a_wilde_2_1888_33->n5_a_wilde_2_1888_34 n5_a_wilde_2_1888_35 C n5_a_wilde_2_1888_34->n5_a_wilde_2_1888_35 n5_a_wilde_2_1888_37 NP-SBJ n5_a_wilde_2_1888_34->n5_a_wilde_2_1888_37 n5_a_wilde_2_1888_42 MD;_cat_Vt_ n5_a_wilde_2_1888_34->n5_a_wilde_2_1888_42 n5_a_wilde_2_1888_44 IP-INF-CAT n5_a_wilde_2_1888_34->n5_a_wilde_2_1888_44 n5_a_wilde_2_1888_55 PP-SCON n5_a_wilde_2_1888_34->n5_a_wilde_2_1888_55 n5_a_wilde_2_1888_35->n5_a_wilde_2_1888_36 n5_a_wilde_2_1888_38 D n5_a_wilde_2_1888_37->n5_a_wilde_2_1888_38 n5_a_wilde_2_1888_40 NS n5_a_wilde_2_1888_37->n5_a_wilde_2_1888_40 n5_a_wilde_2_1888_38->n5_a_wilde_2_1888_39 n5_a_wilde_2_1888_40->n5_a_wilde_2_1888_41 n5_a_wilde_2_1888_42->n5_a_wilde_2_1888_43 n5_a_wilde_2_1888_45 TO n5_a_wilde_2_1888_44->n5_a_wilde_2_1888_45 n5_a_wilde_2_1888_47 VB;_Tn_ n5_a_wilde_2_1888_44->n5_a_wilde_2_1888_47 n5_a_wilde_2_1888_49 NP-OB1 n5_a_wilde_2_1888_44->n5_a_wilde_2_1888_49 n5_a_wilde_2_1888_45->n5_a_wilde_2_1888_46 n5_a_wilde_2_1888_47->n5_a_wilde_2_1888_48 n5_a_wilde_2_1888_50 NP-GEN n5_a_wilde_2_1888_49->n5_a_wilde_2_1888_50 n5_a_wilde_2_1888_53 NS n5_a_wilde_2_1888_49->n5_a_wilde_2_1888_53 n5_a_wilde_2_1888_51 PRO;_genm_ n5_a_wilde_2_1888_50->n5_a_wilde_2_1888_51 n5_a_wilde_2_1888_51->n5_a_wilde_2_1888_52 n5_a_wilde_2_1888_53->n5_a_wilde_2_1888_54 n5_a_wilde_2_1888_56 P-CONN n5_a_wilde_2_1888_55->n5_a_wilde_2_1888_56 n5_a_wilde_2_1888_58 IP-INF n5_a_wilde_2_1888_55->n5_a_wilde_2_1888_58 n5_a_wilde_2_1888_56->n5_a_wilde_2_1888_57 n5_a_wilde_2_1888_59 TO n5_a_wilde_2_1888_58->n5_a_wilde_2_1888_59 n5_a_wilde_2_1888_61 VB;_Ipr_ n5_a_wilde_2_1888_58->n5_a_wilde_2_1888_61 n5_a_wilde_2_1888_63 PP-CLR n5_a_wilde_2_1888_58->n5_a_wilde_2_1888_63 n5_a_wilde_2_1888_59->n5_a_wilde_2_1888_60 n5_a_wilde_2_1888_61->n5_a_wilde_2_1888_62 n5_a_wilde_2_1888_64 P-ROLE n5_a_wilde_2_1888_63->n5_a_wilde_2_1888_64 n5_a_wilde_2_1888_66 NP n5_a_wilde_2_1888_63->n5_a_wilde_2_1888_66 n5_a_wilde_2_1888_64->n5_a_wilde_2_1888_65 n5_a_wilde_2_1888_67 PRO n5_a_wilde_2_1888_66->n5_a_wilde_2_1888_67 n5_a_wilde_2_1888_67->n5_a_wilde_2_1888_68 n5_a_wilde_2_1888_69->n5_a_wilde_2_1888_70
( (IP-MAT (NP-SBJ;{BIRDS} (D The;{the})
                          (NS birds;{bird}))
          (ILYR (ILYR (VBD;_Ipr_ sat;{sit[on]})
                      (PP-CLR (P-ROLE on;{on})
                              (NP (D the;{the})
                                  (NS trees;{tree}))))
                (CONJP (CONJ and;{and})
                       (ILYR (VBD;_I_ sang;{sing})
                             (ADVP-NIM (ADVP (ADV so;{so})
                                             (CP-THT *ICH*-163))
                                       (ADV sweetly;{sweetly})
                                       (CP-THT-EPD-163 (IP-SUB (C that;{that})
                                                               (NP-SBJ;{CHILDREN} (D the;{the})
                                                                                  (NS children;{child}))
                                                               (MD;_cat_Vt_ used;{used})
                                                               (IP-INF-CAT (TO to;{to})
                                                                           (VB;_Tn_ stop;{stop})
                                                                           (NP-OB1 (NP-GEN;{CHILDREN} (PRO;_genm_ their;{their}))
                                                                                   (NS games;{game})))
                                                               (PP-SCON (P-CONN in_order;{in_order})
                                                                        (IP-INF (TO to;{to})
                                                                                (VB;_Ipr_ listen;{listen[to]})
                                                                                (PP-CLR (P-ROLE to;{to})
                                                                                        (NP;{BIRDS} (PRO them;{they})))))))))))
          (PUNC .))
  (ID 5_a_wilde_2_1888))