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_0020__to_r_0022_0021__blossom to blossom r_0022_0017__the_r_0022_0018__trees the trees r_0022_0020__to_r_0022_0021__blossom->r_0022_0017__the_r_0022_0018__trees [arg0] r_0022_0019__forgot forgot r_0022_0019__forgot->r_0022_0020__to_r_0022_0021__blossom [arg1] r_0022_0019__forgot->r_0022_0017__the_r_0022_0018__trees [arg0] r_0022_0016__and and r_0022_0016__and->r_0022_0019__forgot [conj2] r_0022_0010__as as r_0022_0016__and->r_0022_0010__as [conj1] r_0022_0013__no_quant no [quant] r_0022_0010__as->r_0022_0013__no_quant [conj1] r_0022_0004__not not r_0022_0010__as->r_0022_0004__not [conj2] r_0022_0014__children children r_0022_0013__no_quant->r_0022_0014__children [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_0011__there_r_0022_0012__were->r_0022_0014__children [arg0] r_0022_0003__did_r_0022_0005__care did care r_0022_0004__not->r_0022_0003__did_r_0022_0005__care [keep_scope] r_0022_0006__to_r_0022_0007__sing to sing r_0022_0009__it it r_0022_0006__to_r_0022_0007__sing->r_0022_0009__it in [nim] r_0022_0001__The_r_0022_0002__birds The birds r_0022_0006__to_r_0022_0007__sing->r_0022_0001__The_r_0022_0002__birds [arg0] r_0022_0003__did_r_0022_0005__care->r_0022_0006__to_r_0022_0007__sing [clr] r_0022_0003__did_r_0022_0005__care->r_0022_0001__The_r_0022_0002__birds [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__1_1_1_1_1_1_1 The n22_a_wilde_2_1888__1_1_1_1_1_2_1 birds n22_a_wilde_2_1888__1_1_1_1_2_1 did n22_a_wilde_2_1888__1_1_1_1_3_1 not n22_a_wilde_2_1888__1_1_1_1_4_1 care n22_a_wilde_2_1888__1_1_1_1_5_1_1 to n22_a_wilde_2_1888__1_1_1_1_5_2_1 sing n22_a_wilde_2_1888__1_1_1_1_5_3_1_1 in n22_a_wilde_2_1888__1_1_1_1_5_3_2_1_1 it n22_a_wilde_2_1888__1_1_1_2_1_1 as n22_a_wilde_2_1888__1_1_1_2_2_1_1 there n22_a_wilde_2_1888__1_1_1_2_2_2_1 were n22_a_wilde_2_1888__1_1_1_2_2_3_1_1 no n22_a_wilde_2_1888__1_1_1_2_2_3_2_1 children n22_a_wilde_2_1888__1_1_2_1 , n22_a_wilde_2_1888__1_1_3_1_1 and n22_a_wilde_2_1888__1_1_3_2_1_1_1 the n22_a_wilde_2_1888__1_1_3_2_1_2_1 trees n22_a_wilde_2_1888__1_1_3_2_2_1 forgot n22_a_wilde_2_1888__1_1_3_2_3_1_1 to n22_a_wilde_2_1888__1_1_3_2_3_2_1 blossom n22_a_wilde_2_1888__1_2_1 . n22_a_wilde_2_1888__1 IP-MAT n22_a_wilde_2_1888__1_1 ILYR n22_a_wilde_2_1888__1->n22_a_wilde_2_1888__1_1 n22_a_wilde_2_1888__1_2 PUNC n22_a_wilde_2_1888__1->n22_a_wilde_2_1888__1_2 n22_a_wilde_2_1888__1_1_1 ILYR n22_a_wilde_2_1888__1_1->n22_a_wilde_2_1888__1_1_1 n22_a_wilde_2_1888__1_1_2 PUNC n22_a_wilde_2_1888__1_1->n22_a_wilde_2_1888__1_1_2 n22_a_wilde_2_1888__1_1_3 CONJP n22_a_wilde_2_1888__1_1->n22_a_wilde_2_1888__1_1_3 n22_a_wilde_2_1888__1_1_1_1 ILYR n22_a_wilde_2_1888__1_1_1->n22_a_wilde_2_1888__1_1_1_1 n22_a_wilde_2_1888__1_1_1_2 PP-SCON n22_a_wilde_2_1888__1_1_1->n22_a_wilde_2_1888__1_1_1_2 n22_a_wilde_2_1888__1_1_1_1_1 NP-SBJ n22_a_wilde_2_1888__1_1_1_1->n22_a_wilde_2_1888__1_1_1_1_1 n22_a_wilde_2_1888__1_1_1_1_2 DOD n22_a_wilde_2_1888__1_1_1_1->n22_a_wilde_2_1888__1_1_1_1_2 n22_a_wilde_2_1888__1_1_1_1_3 NEG n22_a_wilde_2_1888__1_1_1_1->n22_a_wilde_2_1888__1_1_1_1_3 n22_a_wilde_2_1888__1_1_1_1_4 VB;_It_ n22_a_wilde_2_1888__1_1_1_1->n22_a_wilde_2_1888__1_1_1_1_4 n22_a_wilde_2_1888__1_1_1_1_5 IP-INF-CLR n22_a_wilde_2_1888__1_1_1_1->n22_a_wilde_2_1888__1_1_1_1_5 n22_a_wilde_2_1888__1_1_1_1_1_1 D n22_a_wilde_2_1888__1_1_1_1_1->n22_a_wilde_2_1888__1_1_1_1_1_1 n22_a_wilde_2_1888__1_1_1_1_1_2 NS n22_a_wilde_2_1888__1_1_1_1_1->n22_a_wilde_2_1888__1_1_1_1_1_2 n22_a_wilde_2_1888__1_1_1_1_1_1->n22_a_wilde_2_1888__1_1_1_1_1_1_1 n22_a_wilde_2_1888__1_1_1_1_1_2->n22_a_wilde_2_1888__1_1_1_1_1_2_1 n22_a_wilde_2_1888__1_1_1_1_2->n22_a_wilde_2_1888__1_1_1_1_2_1 n22_a_wilde_2_1888__1_1_1_1_3->n22_a_wilde_2_1888__1_1_1_1_3_1 n22_a_wilde_2_1888__1_1_1_1_4->n22_a_wilde_2_1888__1_1_1_1_4_1 n22_a_wilde_2_1888__1_1_1_1_5_1 TO n22_a_wilde_2_1888__1_1_1_1_5->n22_a_wilde_2_1888__1_1_1_1_5_1 n22_a_wilde_2_1888__1_1_1_1_5_2 VB;_I_ n22_a_wilde_2_1888__1_1_1_1_5->n22_a_wilde_2_1888__1_1_1_1_5_2 n22_a_wilde_2_1888__1_1_1_1_5_3 PP-NIM n22_a_wilde_2_1888__1_1_1_1_5->n22_a_wilde_2_1888__1_1_1_1_5_3 n22_a_wilde_2_1888__1_1_1_1_5_1->n22_a_wilde_2_1888__1_1_1_1_5_1_1 n22_a_wilde_2_1888__1_1_1_1_5_2->n22_a_wilde_2_1888__1_1_1_1_5_2_1 n22_a_wilde_2_1888__1_1_1_1_5_3_1 P-ROLE n22_a_wilde_2_1888__1_1_1_1_5_3->n22_a_wilde_2_1888__1_1_1_1_5_3_1 n22_a_wilde_2_1888__1_1_1_1_5_3_2 NP n22_a_wilde_2_1888__1_1_1_1_5_3->n22_a_wilde_2_1888__1_1_1_1_5_3_2 n22_a_wilde_2_1888__1_1_1_1_5_3_1->n22_a_wilde_2_1888__1_1_1_1_5_3_1_1 n22_a_wilde_2_1888__1_1_1_1_5_3_2_1 PRO n22_a_wilde_2_1888__1_1_1_1_5_3_2->n22_a_wilde_2_1888__1_1_1_1_5_3_2_1 n22_a_wilde_2_1888__1_1_1_1_5_3_2_1->n22_a_wilde_2_1888__1_1_1_1_5_3_2_1_1 n22_a_wilde_2_1888__1_1_1_2_1 P-CONN n22_a_wilde_2_1888__1_1_1_2->n22_a_wilde_2_1888__1_1_1_2_1 n22_a_wilde_2_1888__1_1_1_2_2 IP-ADV n22_a_wilde_2_1888__1_1_1_2->n22_a_wilde_2_1888__1_1_1_2_2 n22_a_wilde_2_1888__1_1_1_2_1->n22_a_wilde_2_1888__1_1_1_2_1_1 n22_a_wilde_2_1888__1_1_1_2_2_1 EX n22_a_wilde_2_1888__1_1_1_2_2->n22_a_wilde_2_1888__1_1_1_2_2_1 n22_a_wilde_2_1888__1_1_1_2_2_2 BED;_ex_V_ n22_a_wilde_2_1888__1_1_1_2_2->n22_a_wilde_2_1888__1_1_1_2_2_2 n22_a_wilde_2_1888__1_1_1_2_2_3 NP-ESBJ n22_a_wilde_2_1888__1_1_1_2_2->n22_a_wilde_2_1888__1_1_1_2_2_3 n22_a_wilde_2_1888__1_1_1_2_2_1->n22_a_wilde_2_1888__1_1_1_2_2_1_1 n22_a_wilde_2_1888__1_1_1_2_2_2->n22_a_wilde_2_1888__1_1_1_2_2_2_1 n22_a_wilde_2_1888__1_1_1_2_2_3_1 Q n22_a_wilde_2_1888__1_1_1_2_2_3->n22_a_wilde_2_1888__1_1_1_2_2_3_1 n22_a_wilde_2_1888__1_1_1_2_2_3_2 NS n22_a_wilde_2_1888__1_1_1_2_2_3->n22_a_wilde_2_1888__1_1_1_2_2_3_2 n22_a_wilde_2_1888__1_1_1_2_2_3_1->n22_a_wilde_2_1888__1_1_1_2_2_3_1_1 n22_a_wilde_2_1888__1_1_1_2_2_3_2->n22_a_wilde_2_1888__1_1_1_2_2_3_2_1 n22_a_wilde_2_1888__1_1_2->n22_a_wilde_2_1888__1_1_2_1 n22_a_wilde_2_1888__1_1_3_1 CONJ n22_a_wilde_2_1888__1_1_3->n22_a_wilde_2_1888__1_1_3_1 n22_a_wilde_2_1888__1_1_3_2 ILYR n22_a_wilde_2_1888__1_1_3->n22_a_wilde_2_1888__1_1_3_2 n22_a_wilde_2_1888__1_1_3_1->n22_a_wilde_2_1888__1_1_3_1_1 n22_a_wilde_2_1888__1_1_3_2_1 NP-SBJ n22_a_wilde_2_1888__1_1_3_2->n22_a_wilde_2_1888__1_1_3_2_1 n22_a_wilde_2_1888__1_1_3_2_2 VBD;_Tt_ n22_a_wilde_2_1888__1_1_3_2->n22_a_wilde_2_1888__1_1_3_2_2 n22_a_wilde_2_1888__1_1_3_2_3 IP-INF-OB1 n22_a_wilde_2_1888__1_1_3_2->n22_a_wilde_2_1888__1_1_3_2_3 n22_a_wilde_2_1888__1_1_3_2_1_1 D n22_a_wilde_2_1888__1_1_3_2_1->n22_a_wilde_2_1888__1_1_3_2_1_1 n22_a_wilde_2_1888__1_1_3_2_1_2 NS n22_a_wilde_2_1888__1_1_3_2_1->n22_a_wilde_2_1888__1_1_3_2_1_2 n22_a_wilde_2_1888__1_1_3_2_1_1->n22_a_wilde_2_1888__1_1_3_2_1_1_1 n22_a_wilde_2_1888__1_1_3_2_1_2->n22_a_wilde_2_1888__1_1_3_2_1_2_1 n22_a_wilde_2_1888__1_1_3_2_2->n22_a_wilde_2_1888__1_1_3_2_2_1 n22_a_wilde_2_1888__1_1_3_2_3_1 TO n22_a_wilde_2_1888__1_1_3_2_3->n22_a_wilde_2_1888__1_1_3_2_3_1 n22_a_wilde_2_1888__1_1_3_2_3_2 VB;_I_ n22_a_wilde_2_1888__1_1_3_2_3->n22_a_wilde_2_1888__1_1_3_2_3_2 n22_a_wilde_2_1888__1_1_3_2_3_1->n22_a_wilde_2_1888__1_1_3_2_3_1_1 n22_a_wilde_2_1888__1_1_3_2_3_2->n22_a_wilde_2_1888__1_1_3_2_3_2_1 n22_a_wilde_2_1888__1_2->n22_a_wilde_2_1888__1_2_1 
( (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))