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.
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).
fof(formula,axiom,
? [R_0022_0010__AS,R_0022_0017__THE_R_0022_0018__TREES,R_0022_0020__TO_R_0022_0021__BLOSSOM,R_0022_0019__FORGOT,R_0022_0016__AND] :
( r_0022_0017__the_r_0022_0018__trees(R_0022_0017__THE_R_0022_0018__TREES)
& r_0022_0016__and(R_0022_0016__AND)
& has_conj2(R_0022_0016__AND,R_0022_0019__FORGOT)
& r_0022_0019__forgot(R_0022_0019__FORGOT)
& has_arg1(R_0022_0019__FORGOT,R_0022_0020__TO_R_0022_0021__BLOSSOM)
& r_0022_0020__to_r_0022_0021__blossom(R_0022_0020__TO_R_0022_0021__BLOSSOM)
& has_arg0(R_0022_0020__TO_R_0022_0021__BLOSSOM,R_0022_0017__THE_R_0022_0018__TREES)
& has_arg0(R_0022_0019__FORGOT,R_0022_0017__THE_R_0022_0018__TREES)
& has_conj1(R_0022_0016__AND,R_0022_0010__AS)
& r_0022_0010__as(R_0022_0010__AS)
& ! [R_0022_0014__CHILDREN] :
( r_0022_0014__children(R_0022_0014__CHILDREN)
=> ? [R_0022_0011__THERE_R_0022_0012__WERE] :
( r_0022_0011__there_r_0022_0012__were(R_0022_0011__THERE_R_0022_0012__WERE)
& has_arg0(R_0022_0011__THERE_R_0022_0012__WERE,R_0022_0014__CHILDREN) ) )
& has_conj2(R_0022_0010__AS,R_0022_0004__NOT)
& ~ ? [R_0022_0001__THE_R_0022_0002__BIRDS,R_0022_0009__IT,R_0022_0006__TO_R_0022_0007__SING,R_0022_0003__DID_R_0022_0005__CARE] :
( r_0022_0001__The_r_0022_0002__birds(R_0022_0001__THE_R_0022_0002__BIRDS)
& r_0022_0009__it(R_0022_0009__IT)
& r_0022_0003__did_r_0022_0005__care(R_0022_0003__DID_R_0022_0005__CARE)
& has_clr16(R_0022_0003__DID_R_0022_0005__CARE,R_0022_0006__TO_R_0022_0007__SING)
& r_0022_0006__to_r_0022_0007__sing(R_0022_0006__TO_R_0022_0007__SING)
& has_r_0022_0008__in_nim24(R_0022_0006__TO_R_0022_0007__SING,R_0022_0009__IT)
& has_arg0(R_0022_0006__TO_R_0022_0007__SING,R_0022_0001__THE_R_0022_0002__BIRDS)
& has_arg0(R_0022_0003__DID_R_0022_0005__CARE,R_0022_0001__THE_R_0022_0002__BIRDS) ) ) ).
( (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))