25_a_wilde_2_1888
“Spring has forgotten this garden,” they cried, “so we will live here all the year round.”
( (IP-MAT (PULQ <ldquo>)
(ILYR (ILYR (NP-SBJ (NPR Spring;{Spring}))
(HVP;_cat_Ve_ has;{have})
(IP-PPL-CAT (VVN;__ forgotten;{forget})
(NP-OB1 (D this;{this})
(N garden;{garden})))
(PUNC ,)
(PURQ <rdquo>)
(PRN (IP-MAT (NP-SBJ;{SNOW+FROST} (PRO they;{they}))
(VBD;__ cried;{cry}))))
(PUNC ,)
(PULQ <ldquo>)
(CONJP (ILYR (ADVP-NIM (ADV so;{so}))
(NP-SBJ;{SNOW+FROST} (PRO we;{we}))
(MD;_cat_Vi_ will;{will})
(IP-INF-CAT (VB;__ live;{live})
(ADVP-NIM (ADV here;{here}))
(NP-NIM (Q;_nphd_ all;{all})
(NLYR (D the;{the})
(N year;{year})
(ADVP (ADV round;{round}))))))))
(PUNC .)
(PURQ <rdquo>))
(ID 25_a_wilde_2_1888))
arc(r_0025_0003__has,r_0025_0004__forgotten,scope).
arc(r_0025_0003__has,r_0025_0010__cried,prn).
arc(r_0025_0004__forgotten,r_0025_0002__Spring,arg0).
arc(r_0025_0004__forgotten,r_0025_0005__this_r_0025_0006__garden,arg1).
arc(r_0025_0010__cried,r_0025_0009__they,arg0).
arc(r_0025_0015__will,r_0025_0013__so,nim).
arc(r_0025_0015__will,r_0025_0016__live,scope).
arc(r_0025_0016__live,r_0025_0009__they,arg0).
arc(r_0025_0016__live,r_0025_0017__here,nim).
arc(r_0025_0016__live,z_0025_5014,nim).
arc(r_0025_0018__all__quant,r_0025_0015__will,scope).
arc(r_0025_0018__all__quant,z_0025_5014,restriction).
arc(r_0025_0019__the_r_0025_0020__year,r_0025_0021__round,qual).
arc(z_0025_5001,r_0025_0003__has,conj1).
arc(z_0025_5001,r_0025_0018__all__quant,conj2).
arc(z_0025_5014,r_0025_0019__the_r_0025_0020__year,nim).
fof(formula,axiom,
? [R_0025_0009__THEY,R_0025_0010__CRIED,R_0025_0002__SPRING,R_0025_0005__THIS_R_0025_0006__GARDEN,R_0025_0003__HAS_R_0025_0004__FORGOTTEN,Z_0025_5001] :
( r_0025_0002__Spring(R_0025_0002__SPRING)
& r_0025_0005__this_r_0025_0006__garden(R_0025_0005__THIS_R_0025_0006__GARDEN)
& r_0025_0009__they(R_0025_0009__THEY)
& z_0025_5001(Z_0025_5001)
& ! [Z_0025_5014,R_0025_0021__ROUND,R_0025_0019__THE_R_0025_0020__YEAR] :
( ( r_0025_0021__round(R_0025_0021__ROUND)
& z_0025_5014(Z_0025_5014)
& has_nim(Z_0025_5014,R_0025_0019__THE_R_0025_0020__YEAR)
& r_0025_0019__the_r_0025_0020__year(R_0025_0019__THE_R_0025_0020__YEAR)
& has_qual(R_0025_0019__THE_R_0025_0020__YEAR,R_0025_0021__ROUND) )
=> ? [R_0025_0013__SO,R_0025_0017__HERE,R_0025_0015__WILL_R_0025_0016__LIVE] :
( r_0025_0013__so(R_0025_0013__SO)
& r_0025_0017__here(R_0025_0017__HERE)
& r_0025_0015__will_r_0025_0016__live(R_0025_0015__WILL_R_0025_0016__LIVE)
& has_nim(R_0025_0015__WILL_R_0025_0016__LIVE,Z_0025_5014)
& has_nim(R_0025_0015__WILL_R_0025_0016__LIVE,R_0025_0017__HERE)
& has_arg0(R_0025_0015__WILL_R_0025_0016__LIVE,R_0025_0009__THEY)
& has_nim(R_0025_0015__WILL_R_0025_0016__LIVE,R_0025_0013__SO) ) )
& has_conj1(Z_0025_5001,R_0025_0003__HAS_R_0025_0004__FORGOTTEN)
& r_0025_0003__has_r_0025_0004__forgotten(R_0025_0003__HAS_R_0025_0004__FORGOTTEN)
& has_arg1(R_0025_0003__HAS_R_0025_0004__FORGOTTEN,R_0025_0005__THIS_R_0025_0006__GARDEN)
& has_arg0(R_0025_0003__HAS_R_0025_0004__FORGOTTEN,R_0025_0002__SPRING)
& has_prn(R_0025_0003__HAS_R_0025_0004__FORGOTTEN,R_0025_0010__CRIED)
& r_0025_0010__cried(R_0025_0010__CRIED)
& has_arg0(R_0025_0010__CRIED,R_0025_0009__THEY) ) ).