Context                Previous, Next                Top


22_a_wilde_2_1888
The birds did not care to sing in it as there were no children, and the trees forgot to blossom.

%3 r_0022_0003__did_r_0022_0005__care did care r_0022_0001__The_r_0022_0002__birds The birds r_0022_0003__did_r_0022_0005__care->r_0022_0001__The_r_0022_0002__birds [arg0] r_0022_0006__to_r_0022_0007__sing to sing r_0022_0003__did_r_0022_0005__care->r_0022_0006__to_r_0022_0007__sing [clr] r_0022_0006__to_r_0022_0007__sing->r_0022_0001__The_r_0022_0002__birds [arg0] r_0022_0009__it it r_0022_0006__to_r_0022_0007__sing->r_0022_0009__it in [nim] r_0022_0004__not not r_0022_0004__not->r_0022_0003__did_r_0022_0005__care [keep_scope] r_0022_0010__as as r_0022_0010__as->r_0022_0004__not [scope] r_0022_0013__no_quant no [quant] r_0022_0010__as->r_0022_0013__no_quant [restriction] r_0022_0011__there_r_0022_0012__were there were r_0022_0013__no_quant->r_0022_0011__there_r_0022_0012__were [scope] r_0022_0014__children children r_0022_0013__no_quant->r_0022_0014__children [restriction] r_0022_0011__there_r_0022_0012__were->r_0022_0014__children [arg0] r_0022_0016__and and r_0022_0016__and->r_0022_0010__as [conj1] r_0022_0019__forgot forgot r_0022_0016__and->r_0022_0019__forgot [conj2] r_0022_0017__the_r_0022_0018__trees the trees r_0022_0019__forgot->r_0022_0017__the_r_0022_0018__trees [arg0] r_0022_0020__to_r_0022_0021__blossom to blossom r_0022_0019__forgot->r_0022_0020__to_r_0022_0021__blossom [arg1] r_0022_0020__to_r_0022_0021__blossom->r_0022_0017__the_r_0022_0018__trees [arg0] 
arc(r_0022_0003__did_r_0022_0005__care, r_0022_0001__The_r_0022_0002__birds, arg0).
arc(r_0022_0003__did_r_0022_0005__care, r_0022_0006__to_r_0022_0007__sing, clr16).
arc(r_0022_0004__not, r_0022_0003__did_r_0022_0005__care, keep_scope).
arc(r_0022_0006__to_r_0022_0007__sing, r_0022_0001__The_r_0022_0002__birds, arg0).
arc(r_0022_0006__to_r_0022_0007__sing, r_0022_0009__it, r_0022_0008__in_nim24).
arc(r_0022_0010__as, r_0022_0004__not, scope).
arc(r_0022_0010__as, r_0022_0013__no_quant, restriction).
arc(r_0022_0011__there_r_0022_0012__were, r_0022_0014__children, arg0).
arc(r_0022_0013__no_quant, r_0022_0011__there_r_0022_0012__were, scope).
arc(r_0022_0013__no_quant, r_0022_0014__children, restriction).
arc(r_0022_0016__and, r_0022_0010__as, conj1).
arc(r_0022_0016__and, r_0022_0019__forgot, conj2).
arc(r_0022_0019__forgot, r_0022_0017__the_r_0022_0018__trees, arg0).
arc(r_0022_0019__forgot, r_0022_0020__to_r_0022_0021__blossom, arg1).
arc(r_0022_0020__to_r_0022_0021__blossom, r_0022_0017__the_r_0022_0018__trees, arg0).


%3 r_0022_0003__did_r_0022_0005__care did care r_0022_0001__The_r_0022_0002__birds The birds r_0022_0003__did_r_0022_0005__care->r_0022_0001__The_r_0022_0002__birds [arg0] r_0022_0006__to_r_0022_0007__sing to sing r_0022_0003__did_r_0022_0005__care->r_0022_0006__to_r_0022_0007__sing [clr] r_0022_0006__to_r_0022_0007__sing->r_0022_0001__The_r_0022_0002__birds [arg0] r_0022_0009__it it r_0022_0006__to_r_0022_0007__sing->r_0022_0009__it in [nim] r_0022_0004__not not r_0022_0004__not->r_0022_0003__did_r_0022_0005__care [keep_scope] r_0022_0010__as as r_0022_0010__as->r_0022_0004__not [conj2] r_0022_0013__no_quant no [quant] r_0022_0010__as->r_0022_0013__no_quant [conj1] r_0022_0011__there_r_0022_0012__were there were r_0022_0013__no_quant->r_0022_0011__there_r_0022_0012__were [scope] r_0022_0014__children children r_0022_0013__no_quant->r_0022_0014__children [restriction] r_0022_0011__there_r_0022_0012__were->r_0022_0014__children [arg0] r_0022_0016__and and r_0022_0016__and->r_0022_0010__as [conj1] r_0022_0019__forgot forgot r_0022_0016__and->r_0022_0019__forgot [conj2] r_0022_0017__the_r_0022_0018__trees the trees r_0022_0019__forgot->r_0022_0017__the_r_0022_0018__trees [arg0] r_0022_0020__to_r_0022_0021__blossom to blossom r_0022_0019__forgot->r_0022_0020__to_r_0022_0021__blossom [arg1] r_0022_0020__to_r_0022_0021__blossom->r_0022_0017__the_r_0022_0018__trees [arg0] 
fof(formula,axiom,
    ? [R_22_16_AND,R_22_10_AS,R_22_19_FORGOT,R_22_20_TO_BLOSSOM,R_22_17_THE_TREES] :
      ( the_trees(R_22_17_THE_TREES)
      & and(R_22_16_AND)
      & conj1(R_22_16_AND,R_22_10_AS)
      & ! [R_22_14_CHILDREN] :
          ( children(R_22_14_CHILDREN)
         => ? [R_22_11_THERE_WERE] : there_were(R_22_11_THERE_WERE,R_22_14_CHILDREN) )
      & conj1(CONJ1)
      & as(R_22_10_AS)
      & conj2(R_22_10_AS,R_22_4_NOT)
      & ~ ? [R_22_3_DID_CARE,R_22_6_TO_SING,R_22_1_THE_BIRDS,R_22_9_IT] :
            ( the_birds(R_22_1_THE_BIRDS)
            & it(R_22_9_IT)
            & did_care(R_22_3_DID_CARE,R_22_1_THE_BIRDS)
            & clr16(R_22_3_DID_CARE,R_22_6_TO_SING)
            & to_sing(R_22_6_TO_SING,R_22_1_THE_BIRDS)
            & in_nim24(R_22_6_TO_SING,R_22_9_IT) )
      & conj2(R_22_16_AND,R_22_19_FORGOT)
      & forgot(R_22_19_FORGOT,R_22_17_THE_TREES,R_22_20_TO_BLOSSOM)
      & to_blossom(R_22_20_TO_BLOSSOM,R_22_17_THE_TREES) ) ).


n22_a_wilde_2_1888 n22_a_wilde_2_1888_7 The n22_a_wilde_2_1888_9 birds n22_a_wilde_2_1888_11 did n22_a_wilde_2_1888_13 not n22_a_wilde_2_1888_15 care n22_a_wilde_2_1888_18 to n22_a_wilde_2_1888_20 sing n22_a_wilde_2_1888_23 in n22_a_wilde_2_1888_26 it n22_a_wilde_2_1888_29 as n22_a_wilde_2_1888_32 there n22_a_wilde_2_1888_34 were n22_a_wilde_2_1888_37 no n22_a_wilde_2_1888_39 children n22_a_wilde_2_1888_41 , n22_a_wilde_2_1888_44 and n22_a_wilde_2_1888_48 the n22_a_wilde_2_1888_50 trees n22_a_wilde_2_1888_52 forgot n22_a_wilde_2_1888_55 to n22_a_wilde_2_1888_57 blossom n22_a_wilde_2_1888_59 . n22_a_wilde_2_1888_1 IP-MAT n22_a_wilde_2_1888_2 ILYR n22_a_wilde_2_1888_1->n22_a_wilde_2_1888_2 n22_a_wilde_2_1888_58 PUNC n22_a_wilde_2_1888_1->n22_a_wilde_2_1888_58 n22_a_wilde_2_1888_3 ILYR n22_a_wilde_2_1888_2->n22_a_wilde_2_1888_3 n22_a_wilde_2_1888_40 PUNC n22_a_wilde_2_1888_2->n22_a_wilde_2_1888_40 n22_a_wilde_2_1888_42 CONJP n22_a_wilde_2_1888_2->n22_a_wilde_2_1888_42 n22_a_wilde_2_1888_4 ILYR n22_a_wilde_2_1888_3->n22_a_wilde_2_1888_4 n22_a_wilde_2_1888_27 PP-SCON n22_a_wilde_2_1888_3->n22_a_wilde_2_1888_27 n22_a_wilde_2_1888_5 NP-SBJ n22_a_wilde_2_1888_4->n22_a_wilde_2_1888_5 n22_a_wilde_2_1888_10 DOD n22_a_wilde_2_1888_4->n22_a_wilde_2_1888_10 n22_a_wilde_2_1888_12 NEG n22_a_wilde_2_1888_4->n22_a_wilde_2_1888_12 n22_a_wilde_2_1888_14 VB;_It_ n22_a_wilde_2_1888_4->n22_a_wilde_2_1888_14 n22_a_wilde_2_1888_16 IP-INF-CLR n22_a_wilde_2_1888_4->n22_a_wilde_2_1888_16 n22_a_wilde_2_1888_6 D n22_a_wilde_2_1888_5->n22_a_wilde_2_1888_6 n22_a_wilde_2_1888_8 NS n22_a_wilde_2_1888_5->n22_a_wilde_2_1888_8 n22_a_wilde_2_1888_6->n22_a_wilde_2_1888_7 n22_a_wilde_2_1888_8->n22_a_wilde_2_1888_9 n22_a_wilde_2_1888_10->n22_a_wilde_2_1888_11 n22_a_wilde_2_1888_12->n22_a_wilde_2_1888_13 n22_a_wilde_2_1888_14->n22_a_wilde_2_1888_15 n22_a_wilde_2_1888_17 TO n22_a_wilde_2_1888_16->n22_a_wilde_2_1888_17 n22_a_wilde_2_1888_19 VB;_I_ n22_a_wilde_2_1888_16->n22_a_wilde_2_1888_19 n22_a_wilde_2_1888_21 PP-NIM n22_a_wilde_2_1888_16->n22_a_wilde_2_1888_21 n22_a_wilde_2_1888_17->n22_a_wilde_2_1888_18 n22_a_wilde_2_1888_19->n22_a_wilde_2_1888_20 n22_a_wilde_2_1888_22 P-ROLE n22_a_wilde_2_1888_21->n22_a_wilde_2_1888_22 n22_a_wilde_2_1888_24 NP n22_a_wilde_2_1888_21->n22_a_wilde_2_1888_24 n22_a_wilde_2_1888_22->n22_a_wilde_2_1888_23 n22_a_wilde_2_1888_25 PRO n22_a_wilde_2_1888_24->n22_a_wilde_2_1888_25 n22_a_wilde_2_1888_25->n22_a_wilde_2_1888_26 n22_a_wilde_2_1888_28 P-CONN n22_a_wilde_2_1888_27->n22_a_wilde_2_1888_28 n22_a_wilde_2_1888_30 IP-ADV n22_a_wilde_2_1888_27->n22_a_wilde_2_1888_30 n22_a_wilde_2_1888_28->n22_a_wilde_2_1888_29 n22_a_wilde_2_1888_31 EX n22_a_wilde_2_1888_30->n22_a_wilde_2_1888_31 n22_a_wilde_2_1888_33 BED;_ex_V_ n22_a_wilde_2_1888_30->n22_a_wilde_2_1888_33 n22_a_wilde_2_1888_35 NP-ESBJ n22_a_wilde_2_1888_30->n22_a_wilde_2_1888_35 n22_a_wilde_2_1888_31->n22_a_wilde_2_1888_32 n22_a_wilde_2_1888_33->n22_a_wilde_2_1888_34 n22_a_wilde_2_1888_36 Q n22_a_wilde_2_1888_35->n22_a_wilde_2_1888_36 n22_a_wilde_2_1888_38 NS n22_a_wilde_2_1888_35->n22_a_wilde_2_1888_38 n22_a_wilde_2_1888_36->n22_a_wilde_2_1888_37 n22_a_wilde_2_1888_38->n22_a_wilde_2_1888_39 n22_a_wilde_2_1888_40->n22_a_wilde_2_1888_41 n22_a_wilde_2_1888_43 CONJ n22_a_wilde_2_1888_42->n22_a_wilde_2_1888_43 n22_a_wilde_2_1888_45 ILYR n22_a_wilde_2_1888_42->n22_a_wilde_2_1888_45 n22_a_wilde_2_1888_43->n22_a_wilde_2_1888_44 n22_a_wilde_2_1888_46 NP-SBJ n22_a_wilde_2_1888_45->n22_a_wilde_2_1888_46 n22_a_wilde_2_1888_51 VBD;_Tt_ n22_a_wilde_2_1888_45->n22_a_wilde_2_1888_51 n22_a_wilde_2_1888_53 IP-INF-OB1 n22_a_wilde_2_1888_45->n22_a_wilde_2_1888_53 n22_a_wilde_2_1888_47 D n22_a_wilde_2_1888_46->n22_a_wilde_2_1888_47 n22_a_wilde_2_1888_49 NS n22_a_wilde_2_1888_46->n22_a_wilde_2_1888_49 n22_a_wilde_2_1888_47->n22_a_wilde_2_1888_48 n22_a_wilde_2_1888_49->n22_a_wilde_2_1888_50 n22_a_wilde_2_1888_51->n22_a_wilde_2_1888_52 n22_a_wilde_2_1888_54 TO n22_a_wilde_2_1888_53->n22_a_wilde_2_1888_54 n22_a_wilde_2_1888_56 VB;_I_ n22_a_wilde_2_1888_53->n22_a_wilde_2_1888_56 n22_a_wilde_2_1888_54->n22_a_wilde_2_1888_55 n22_a_wilde_2_1888_56->n22_a_wilde_2_1888_57 n22_a_wilde_2_1888_58->n22_a_wilde_2_1888_59 
( (IP-MAT (ILYR (ILYR (ILYR (NP-SBJ (D The;{the})
                                    (NS birds;{bird}))
                            (DOD did;{do})
                            (NEG not;{not})
                            (VB;_It_ care;{care})
                            (IP-INF-CLR (TO to;{to})
                                        (VB;_I_ sing;{sing})
                                        (PP-NIM (P-ROLE in;{in})
                                                (NP;{GARDEN} (PRO it;{it})))))
                      (PP-SCON (P-CONN as;{as})
                               (IP-ADV (EX there;{there})
                                       (BED;_ex_V_ were;{be})
                                       (NP-ESBJ (Q no;{no})
                                                (NS children;{child})))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (D the;{the})
                                     (NS trees;{tree}))
                             (VBD;_Tt_ forgot;{forget})
                             (IP-INF-OB1 (TO to;{to})
                                         (VB;_I_ blossom;{blossom})))))
          (PUNC .))
  (ID 22_a_wilde_2_1888))