86_a_wilde_1_1888
“Last summer, when I was staying on the river, there were two rude boys, the miller's sons, who were always throwing stones at me.
( (IP-MAT (PULQ <ldquo>)
(NP-NIM (ADJP (ADJ Last;{last}))
(N summer;{summer}))
(PUNC ,)
(PP-SCON (P-CONN when;{when})
(IP-ADV (NP-SBJ;{SWALLOW} (PRO I;{I}))
(BED;_cat_Vg_ was;{be})
(IP-PPL-CAT (VAG;_I_ staying;{stay})
(PP-NIM (P-ROLE on;{on})
(NP (D the;{the})
(N river;{river}))))))
(PUNC ,)
(EX there;{there})
(BED;_ex_V_ were;{be})
(NP-ESBJ;{RUDE_BOYS} (NUM two;{two})
(ADJP (ADJ rude;{rude}))
(NS boys;{boy})
(PUNC ,)
(PRN (NP (NP-GEN (D the;{the})
(N miller;{miller})
(GENM <apos>s))
(NS sons;{son})))
(PUNC ,)
(IP-REL;{STONES} (NP-SBJ (RPRO who;{who}))
(BED;_cat_Vg_ were;{be})
(IP-PPL-CAT (ADVP-NIM (ADV always;{always}))
(VAG;_Tn.pr_ throwing;{throw[at]})
(NP-OB1 (NS stones;{stone}))
(PP-CLR (P-ROLE at;{at})
(NP;{SWALLOW} (PRO me;{I}))))))
(PUNC .))
(ID 86_a_wilde_1_1888))
arc(r_0086_0003__summer,r_0086_0002__Last,attrib).
arc(r_0086_0005__when,r_0086_0007__was,restriction).
arc(r_0086_0005__when,r_0086_0014__were,scope).
arc(r_0086_0007__was,r_0086_0008__staying,scope).
arc(r_0086_0008__staying,r_0086_0006__I,arg0).
arc(r_0086_0008__staying,r_0086_0010__the_r_0086_0011__river,r_0086_0009__on__nim).
arc(r_0086_0014__were,r_0086_0003__summer,nim).
arc(r_0086_0014__were,r_0086_0015__two_r_0086_0017__boys,arg0).
arc(r_0086_0015__two_r_0086_0017__boys,r_0086_0016__rude,attrib).
arc(r_0086_0022__sons,r_0086_0019__the_r_0086_0020__miller,gen).
arc(r_0086_0025__were,r_0086_0027__throwing_r_0086_0029__at,scope).
arc(r_0086_0027__throwing_r_0086_0029__at,r_0086_0015__two_r_0086_0017__boys,arg0).
arc(r_0086_0027__throwing_r_0086_0029__at,r_0086_0026__always,nim).
arc(r_0086_0027__throwing_r_0086_0029__at,r_0086_0028__stones,arg1).
arc(r_0086_0027__throwing_r_0086_0029__at,r_0086_0030__me,arg2).
arc(z_0086_5005,r_0086_0015__two_r_0086_0017__boys,arg0).
arc(z_0086_5005,r_0086_0022__sons,prd).
fof(formula,axiom,
? [R_0086_0016__RUDE,R_0086_0015__TWO_R_0086_0017__BOYS,R_0086_0026__ALWAYS,R_0086_0028__STONES,R_0086_0030__ME,R_0086_0025__WERE_R_0086_0027__THROWING_R_0086_0029__AT,R_0086_0019__THE_R_0086_0020__MILLER,R_0086_0022__SONS,Z_0086_5005] :
( r_0086_0016__rude(R_0086_0016__RUDE)
& r_0086_0019__the_r_0086_0020__miller(R_0086_0019__THE_R_0086_0020__MILLER)
& r_0086_0026__always(R_0086_0026__ALWAYS)
& r_0086_0028__stones(R_0086_0028__STONES)
& r_0086_0030__me(R_0086_0030__ME)
& z_0086_5005(Z_0086_5005)
& has_prd(Z_0086_5005,R_0086_0022__SONS)
& r_0086_0022__sons(R_0086_0022__SONS)
& has_gen(R_0086_0022__SONS,R_0086_0019__THE_R_0086_0020__MILLER)
& has_arg0(Z_0086_5005,R_0086_0015__TWO_R_0086_0017__BOYS)
& r_0086_0015__two_r_0086_0017__boys(R_0086_0015__TWO_R_0086_0017__BOYS)
& has_attrib(R_0086_0015__TWO_R_0086_0017__BOYS,R_0086_0016__RUDE)
& r_0086_0025__were_r_0086_0027__throwing_r_0086_0029__at(R_0086_0025__WERE_R_0086_0027__THROWING_R_0086_0029__AT)
& has_arg2(R_0086_0025__WERE_R_0086_0027__THROWING_R_0086_0029__AT,R_0086_0030__ME)
& has_arg1(R_0086_0025__WERE_R_0086_0027__THROWING_R_0086_0029__AT,R_0086_0028__STONES)
& has_nim(R_0086_0025__WERE_R_0086_0027__THROWING_R_0086_0029__AT,R_0086_0026__ALWAYS)
& has_arg0(R_0086_0025__WERE_R_0086_0027__THROWING_R_0086_0029__AT,R_0086_0015__TWO_R_0086_0017__BOYS)
& ! [R_0086_0007__WAS_R_0086_0008__STAYING,R_0086_0006__I,R_0086_0010__THE_R_0086_0011__RIVER] :
( ( r_0086_0006__I(R_0086_0006__I)
& r_0086_0010__the_r_0086_0011__river(R_0086_0010__THE_R_0086_0011__RIVER)
& r_0086_0007__was_r_0086_0008__staying(R_0086_0007__WAS_R_0086_0008__STAYING)
& has_r_0086_0009__on__nim(R_0086_0007__WAS_R_0086_0008__STAYING,R_0086_0010__THE_R_0086_0011__RIVER)
& has_arg0(R_0086_0007__WAS_R_0086_0008__STAYING,R_0086_0006__I) )
=> ? [R_0086_0002__LAST,R_0086_0003__SUMMER,R_0086_0014__WERE] :
( r_0086_0002__Last(R_0086_0002__LAST)
& r_0086_0014__were(R_0086_0014__WERE)
& has_arg0(R_0086_0014__WERE,R_0086_0015__TWO_R_0086_0017__BOYS)
& has_nim(R_0086_0014__WERE,R_0086_0003__SUMMER)
& r_0086_0003__summer(R_0086_0003__SUMMER)
& has_attrib(R_0086_0003__SUMMER,R_0086_0002__LAST) ) ) ) ).