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.
arc(r_0086_0003__summer, r_0086_0002__Last, attrib5).
arc(r_0086_0005__when, r_0086_0007__was, restriction).
arc(r_0086_0005__when, r_0086_0013__there_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_nim27).
arc(r_0086_0013__there_r_0086_0014__were, r_0086_0003__summer, nim4).
arc(r_0086_0013__there_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, attrib41).
arc(r_0086_0022__sons, r_0086_0019__the_r_0086_0020__miller_r_0086_0021___apos_s, gen).
arc(r_0086_0025__were, r_0086_0027__throwing, scope).
arc(r_0086_0027__throwing, r_0086_0015__two_r_0086_0017__boys, arg0).
arc(r_0086_0027__throwing, r_0086_0026__always, nim68).
arc(r_0086_0027__throwing, r_0086_0028__stones, arg1).
arc(r_0086_0027__throwing, r_0086_0030__me, r_0086_0029__at_clr79).
arc(z_000_86_a_wilde_1_1888_48, r_0086_0015__two_r_0086_0017__boys, arg0).
arc(z_000_86_a_wilde_1_1888_48, 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_0019__THE_R_0086_0020__MILLER_R_0086_0021___APOS_S,R_0086_0022__SONS,Z_000_86_A_WILDE_1_1888_48] :
( r_0086_0016__rude(R_0086_0016__RUDE)
& r_0086_0019__the_r_0086_0020__miller_r_0086_0021___apos_s(R_0086_0019__THE_R_0086_0020__MILLER_R_0086_0021___APOS_S)
& 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_000_86_a_wilde_1_1888_48(Z_000_86_A_WILDE_1_1888_48)
& has_prd(Z_000_86_A_WILDE_1_1888_48,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_R_0086_0021___APOS_S)
& has_arg0(Z_000_86_A_WILDE_1_1888_48,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_attrib41(R_0086_0015__TWO_R_0086_0017__BOYS,R_0086_0016__RUDE)
& r_0086_0025__were_r_0086_0027__throwing(R_0086_0025__WERE_R_0086_0027__THROWING)
& has_r_0086_0029__at_clr79(R_0086_0025__WERE_R_0086_0027__THROWING,R_0086_0030__ME)
& has_arg1(R_0086_0025__WERE_R_0086_0027__THROWING,R_0086_0028__STONES)
& has_nim68(R_0086_0025__WERE_R_0086_0027__THROWING,R_0086_0026__ALWAYS)
& has_arg0(R_0086_0025__WERE_R_0086_0027__THROWING,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_nim27(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_0013__THERE_R_0086_0014__WERE] :
( r_0086_0002__Last(R_0086_0002__LAST)
& r_0086_0013__there_r_0086_0014__were(R_0086_0013__THERE_R_0086_0014__WERE)
& has_arg0(R_0086_0013__THERE_R_0086_0014__WERE,R_0086_0015__TWO_R_0086_0017__BOYS)
& has_nim4(R_0086_0013__THERE_R_0086_0014__WERE,R_0086_0003__SUMMER)
& r_0086_0003__summer(R_0086_0003__SUMMER)
& has_attrib5(R_0086_0003__SUMMER,R_0086_0002__LAST) ) ) ) ).
( (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 ,)
(IP-PPL (NP-PRD (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))