Context                Previous, Next                Top


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.

%3 r_0086_0003__summer summer r_0086_0002__Last Last r_0086_0003__summer->r_0086_0002__Last [attrib] r_0086_0005__when when r_0086_0007__was was r_0086_0005__when->r_0086_0007__was [restriction] r_0086_0013__there_r_0086_0014__were there were r_0086_0005__when->r_0086_0013__there_r_0086_0014__were [scope] r_0086_0008__staying staying r_0086_0007__was->r_0086_0008__staying [scope] r_0086_0013__there_r_0086_0014__were->r_0086_0003__summer [nim] r_0086_0015__two_r_0086_0017__boys two boys r_0086_0013__there_r_0086_0014__were->r_0086_0015__two_r_0086_0017__boys [arg0] r_0086_0006__I I r_0086_0008__staying->r_0086_0006__I [arg0] r_0086_0010__the_r_0086_0011__river the river r_0086_0008__staying->r_0086_0010__the_r_0086_0011__river on [nim] r_0086_0016__rude rude r_0086_0015__two_r_0086_0017__boys->r_0086_0016__rude [attrib] r_0086_0022__sons sons r_0086_0019__the_r_0086_0020__miller_r_0086_0021___apos_s the miller 's r_0086_0022__sons->r_0086_0019__the_r_0086_0020__miller_r_0086_0021___apos_s [gen] r_0086_0025__were were r_0086_0027__throwing throwing r_0086_0025__were->r_0086_0027__throwing [scope] r_0086_0027__throwing->r_0086_0015__two_r_0086_0017__boys [arg0] r_0086_0026__always always r_0086_0027__throwing->r_0086_0026__always [nim] r_0086_0028__stones stones r_0086_0027__throwing->r_0086_0028__stones [arg1] r_0086_0030__me me r_0086_0027__throwing->r_0086_0030__me at [clr] z_000_86_a_wilde_1_1888_48 z_000_86_a_wilde_1_1888_48->r_0086_0015__two_r_0086_0017__boys [arg0] z_000_86_a_wilde_1_1888_48->r_0086_0022__sons [prd] 
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).


%3 z_000_86_a_wilde_1_1888_48 r_0086_0022__sons sons z_000_86_a_wilde_1_1888_48->r_0086_0022__sons [prd] r_0086_0015__two_r_0086_0017__boys two boys z_000_86_a_wilde_1_1888_48->r_0086_0015__two_r_0086_0017__boys [arg0] r_0086_0019__the_r_0086_0020__miller_r_0086_0021___apos_s the miller 's r_0086_0022__sons->r_0086_0019__the_r_0086_0020__miller_r_0086_0021___apos_s [gen] r_0086_0016__rude rude r_0086_0015__two_r_0086_0017__boys->r_0086_0016__rude [attrib] r_0086_0025__were_r_0086_0027__throwing were throwing r_0086_0025__were_r_0086_0027__throwing->r_0086_0015__two_r_0086_0017__boys [arg0] r_0086_0030__me me r_0086_0025__were_r_0086_0027__throwing->r_0086_0030__me at [clr] r_0086_0028__stones stones r_0086_0025__were_r_0086_0027__throwing->r_0086_0028__stones [arg1] r_0086_0026__always always r_0086_0025__were_r_0086_0027__throwing->r_0086_0026__always [nim] r_0086_0013__there_r_0086_0014__were there were r_0086_0013__there_r_0086_0014__were->r_0086_0015__two_r_0086_0017__boys [arg0] r_0086_0003__summer summer r_0086_0013__there_r_0086_0014__were->r_0086_0003__summer [nim] r_0086_0002__Last Last r_0086_0003__summer->r_0086_0002__Last [attrib] r_0086_0007__was_r_0086_0008__staying was staying r_0086_0010__the_r_0086_0011__river the river r_0086_0007__was_r_0086_0008__staying->r_0086_0010__the_r_0086_0011__river on [nim] r_0086_0006__I I r_0086_0007__was_r_0086_0008__staying->r_0086_0006__I [arg0] r_0086_0005__when when r_0086_0005__when->r_0086_0013__there_r_0086_0014__were [scope] r_0086_0005__when->r_0086_0007__was_r_0086_0008__staying [restriction] 
fof(formula,axiom,
    ? [R_86_25_WERE_THROWING,R_86_28_STONES,R_86_26_ALWAYS,R_86_30_ME,Z_86_A_WILDE_1_1888_48,R_86_15_TWO_BOYS,R_86_16_RUDE,R_86_22_SONS,R_86_19_THE_MILLER_APOS_S] :
      ( stones(R_86_28_STONES)
      & always(R_86_26_ALWAYS)
      & me(R_86_30_ME)
      & rude(R_86_16_RUDE)
      & the_miller_apos_s(R_86_19_THE_MILLER_APOS_S)
      & ! [R_86_7_WAS_STAYING,R_86_6_I,R_86_10_THE_RIVER] :
          ( ( i(R_86_6_I)
            & the_river(R_86_10_THE_RIVER)
            & was_staying(R_86_7_WAS_STAYING,R_86_6_I)
            & on_nim27(R_86_7_WAS_STAYING,R_86_10_THE_RIVER) )
         => ? [R_86_13_THERE_WERE,R_86_3_SUMMER,R_86_2_LAST] :
              ( last(R_86_2_LAST)
              & there_were(R_86_13_THERE_WERE,R_86_15_TWO_BOYS)
              & nim4(R_86_13_THERE_WERE,R_86_3_SUMMER)
              & summer(R_86_3_SUMMER)
              & attrib5(R_86_3_SUMMER,R_86_2_LAST) ) )
      & were_throwing(R_86_25_WERE_THROWING,R_86_15_TWO_BOYS,R_86_28_STONES)
      & two_boys(R_86_15_TWO_BOYS)
      & attrib41(R_86_15_TWO_BOYS,R_86_16_RUDE)
      & nim68(R_86_25_WERE_THROWING,R_86_26_ALWAYS)
      & at_clr79(R_86_25_WERE_THROWING,R_86_30_ME)
      & z_86_a_wilde_1_1888_48(Z_86_A_WILDE_1_1888_48,R_86_15_TWO_BOYS,R_86_22_SONS)
      & sons(R_86_22_SONS)
      & gen(R_86_22_SONS,R_86_19_THE_MILLER_APOS_S) ) ).


n86_a_wilde_1_1888 n86_a_wilde_1_1888__1_1_1 <ldquo> n86_a_wilde_1_1888__1_2_1_1_1 Last n86_a_wilde_1_1888__1_2_2_1 summer n86_a_wilde_1_1888__1_3_1 , n86_a_wilde_1_1888__1_4_1_1 when n86_a_wilde_1_1888__1_4_2_1_1_1 I n86_a_wilde_1_1888__1_4_2_2_1 was n86_a_wilde_1_1888__1_4_2_3_1_1 staying n86_a_wilde_1_1888__1_4_2_3_2_1_1 on n86_a_wilde_1_1888__1_4_2_3_2_2_1_1 the n86_a_wilde_1_1888__1_4_2_3_2_2_2_1 river n86_a_wilde_1_1888__1_5_1 , n86_a_wilde_1_1888__1_6_1 there n86_a_wilde_1_1888__1_7_1 were n86_a_wilde_1_1888__1_8_1_1 two n86_a_wilde_1_1888__1_8_2_1_1 rude n86_a_wilde_1_1888__1_8_3_1 boys n86_a_wilde_1_1888__1_8_4_1 , n86_a_wilde_1_1888__1_8_5_1_1_1_1 the n86_a_wilde_1_1888__1_8_5_1_1_2_1 miller n86_a_wilde_1_1888__1_8_5_1_1_3_1 's n86_a_wilde_1_1888__1_8_5_1_2_1 sons n86_a_wilde_1_1888__1_8_6_1 , n86_a_wilde_1_1888__1_8_7_1_1_1 who n86_a_wilde_1_1888__1_8_7_2_1 were n86_a_wilde_1_1888__1_8_7_3_1_1_1 always n86_a_wilde_1_1888__1_8_7_3_2_1 throwing n86_a_wilde_1_1888__1_8_7_3_3_1_1 stones n86_a_wilde_1_1888__1_8_7_3_4_1_1 at n86_a_wilde_1_1888__1_8_7_3_4_2_1_1 me n86_a_wilde_1_1888__1_9_1 . n86_a_wilde_1_1888__1 IP-MAT n86_a_wilde_1_1888__1_1 PULQ n86_a_wilde_1_1888__1->n86_a_wilde_1_1888__1_1 n86_a_wilde_1_1888__1_2 NP-NIM n86_a_wilde_1_1888__1->n86_a_wilde_1_1888__1_2 n86_a_wilde_1_1888__1_3 PUNC n86_a_wilde_1_1888__1->n86_a_wilde_1_1888__1_3 n86_a_wilde_1_1888__1_4 PP-SCON n86_a_wilde_1_1888__1->n86_a_wilde_1_1888__1_4 n86_a_wilde_1_1888__1_5 PUNC n86_a_wilde_1_1888__1->n86_a_wilde_1_1888__1_5 n86_a_wilde_1_1888__1_6 EX n86_a_wilde_1_1888__1->n86_a_wilde_1_1888__1_6 n86_a_wilde_1_1888__1_7 BED;_ex_V_ n86_a_wilde_1_1888__1->n86_a_wilde_1_1888__1_7 n86_a_wilde_1_1888__1_8 NP-ESBJ n86_a_wilde_1_1888__1->n86_a_wilde_1_1888__1_8 n86_a_wilde_1_1888__1_9 PUNC n86_a_wilde_1_1888__1->n86_a_wilde_1_1888__1_9 n86_a_wilde_1_1888__1_1->n86_a_wilde_1_1888__1_1_1 n86_a_wilde_1_1888__1_2_1 ADJP n86_a_wilde_1_1888__1_2->n86_a_wilde_1_1888__1_2_1 n86_a_wilde_1_1888__1_2_2 N n86_a_wilde_1_1888__1_2->n86_a_wilde_1_1888__1_2_2 n86_a_wilde_1_1888__1_2_1_1 ADJ n86_a_wilde_1_1888__1_2_1->n86_a_wilde_1_1888__1_2_1_1 n86_a_wilde_1_1888__1_2_1_1->n86_a_wilde_1_1888__1_2_1_1_1 n86_a_wilde_1_1888__1_2_2->n86_a_wilde_1_1888__1_2_2_1 n86_a_wilde_1_1888__1_3->n86_a_wilde_1_1888__1_3_1 n86_a_wilde_1_1888__1_4_1 P-CONN n86_a_wilde_1_1888__1_4->n86_a_wilde_1_1888__1_4_1 n86_a_wilde_1_1888__1_4_2 IP-ADV n86_a_wilde_1_1888__1_4->n86_a_wilde_1_1888__1_4_2 n86_a_wilde_1_1888__1_4_1->n86_a_wilde_1_1888__1_4_1_1 n86_a_wilde_1_1888__1_4_2_1 NP-SBJ n86_a_wilde_1_1888__1_4_2->n86_a_wilde_1_1888__1_4_2_1 n86_a_wilde_1_1888__1_4_2_2 BED;_cat_Vg_ n86_a_wilde_1_1888__1_4_2->n86_a_wilde_1_1888__1_4_2_2 n86_a_wilde_1_1888__1_4_2_3 IP-PPL-CAT n86_a_wilde_1_1888__1_4_2->n86_a_wilde_1_1888__1_4_2_3 n86_a_wilde_1_1888__1_4_2_1_1 PRO n86_a_wilde_1_1888__1_4_2_1->n86_a_wilde_1_1888__1_4_2_1_1 n86_a_wilde_1_1888__1_4_2_1_1->n86_a_wilde_1_1888__1_4_2_1_1_1 n86_a_wilde_1_1888__1_4_2_2->n86_a_wilde_1_1888__1_4_2_2_1 n86_a_wilde_1_1888__1_4_2_3_1 VAG;_I_ n86_a_wilde_1_1888__1_4_2_3->n86_a_wilde_1_1888__1_4_2_3_1 n86_a_wilde_1_1888__1_4_2_3_2 PP-NIM n86_a_wilde_1_1888__1_4_2_3->n86_a_wilde_1_1888__1_4_2_3_2 n86_a_wilde_1_1888__1_4_2_3_1->n86_a_wilde_1_1888__1_4_2_3_1_1 n86_a_wilde_1_1888__1_4_2_3_2_1 P-ROLE n86_a_wilde_1_1888__1_4_2_3_2->n86_a_wilde_1_1888__1_4_2_3_2_1 n86_a_wilde_1_1888__1_4_2_3_2_2 NP n86_a_wilde_1_1888__1_4_2_3_2->n86_a_wilde_1_1888__1_4_2_3_2_2 n86_a_wilde_1_1888__1_4_2_3_2_1->n86_a_wilde_1_1888__1_4_2_3_2_1_1 n86_a_wilde_1_1888__1_4_2_3_2_2_1 D n86_a_wilde_1_1888__1_4_2_3_2_2->n86_a_wilde_1_1888__1_4_2_3_2_2_1 n86_a_wilde_1_1888__1_4_2_3_2_2_2 N n86_a_wilde_1_1888__1_4_2_3_2_2->n86_a_wilde_1_1888__1_4_2_3_2_2_2 n86_a_wilde_1_1888__1_4_2_3_2_2_1->n86_a_wilde_1_1888__1_4_2_3_2_2_1_1 n86_a_wilde_1_1888__1_4_2_3_2_2_2->n86_a_wilde_1_1888__1_4_2_3_2_2_2_1 n86_a_wilde_1_1888__1_5->n86_a_wilde_1_1888__1_5_1 n86_a_wilde_1_1888__1_6->n86_a_wilde_1_1888__1_6_1 n86_a_wilde_1_1888__1_7->n86_a_wilde_1_1888__1_7_1 n86_a_wilde_1_1888__1_8_1 NUM n86_a_wilde_1_1888__1_8->n86_a_wilde_1_1888__1_8_1 n86_a_wilde_1_1888__1_8_2 ADJP n86_a_wilde_1_1888__1_8->n86_a_wilde_1_1888__1_8_2 n86_a_wilde_1_1888__1_8_3 NS n86_a_wilde_1_1888__1_8->n86_a_wilde_1_1888__1_8_3 n86_a_wilde_1_1888__1_8_4 PUNC n86_a_wilde_1_1888__1_8->n86_a_wilde_1_1888__1_8_4 n86_a_wilde_1_1888__1_8_5 IP-PPL n86_a_wilde_1_1888__1_8->n86_a_wilde_1_1888__1_8_5 n86_a_wilde_1_1888__1_8_6 PUNC n86_a_wilde_1_1888__1_8->n86_a_wilde_1_1888__1_8_6 n86_a_wilde_1_1888__1_8_7 IP-REL n86_a_wilde_1_1888__1_8->n86_a_wilde_1_1888__1_8_7 n86_a_wilde_1_1888__1_8_1->n86_a_wilde_1_1888__1_8_1_1 n86_a_wilde_1_1888__1_8_2_1 ADJ n86_a_wilde_1_1888__1_8_2->n86_a_wilde_1_1888__1_8_2_1 n86_a_wilde_1_1888__1_8_2_1->n86_a_wilde_1_1888__1_8_2_1_1 n86_a_wilde_1_1888__1_8_3->n86_a_wilde_1_1888__1_8_3_1 n86_a_wilde_1_1888__1_8_4->n86_a_wilde_1_1888__1_8_4_1 n86_a_wilde_1_1888__1_8_5_1 NP-PRD n86_a_wilde_1_1888__1_8_5->n86_a_wilde_1_1888__1_8_5_1 n86_a_wilde_1_1888__1_8_5_1_1 NP-GEN n86_a_wilde_1_1888__1_8_5_1->n86_a_wilde_1_1888__1_8_5_1_1 n86_a_wilde_1_1888__1_8_5_1_2 NS n86_a_wilde_1_1888__1_8_5_1->n86_a_wilde_1_1888__1_8_5_1_2 n86_a_wilde_1_1888__1_8_5_1_1_1 D n86_a_wilde_1_1888__1_8_5_1_1->n86_a_wilde_1_1888__1_8_5_1_1_1 n86_a_wilde_1_1888__1_8_5_1_1_2 N n86_a_wilde_1_1888__1_8_5_1_1->n86_a_wilde_1_1888__1_8_5_1_1_2 n86_a_wilde_1_1888__1_8_5_1_1_3 GENM n86_a_wilde_1_1888__1_8_5_1_1->n86_a_wilde_1_1888__1_8_5_1_1_3 n86_a_wilde_1_1888__1_8_5_1_1_1->n86_a_wilde_1_1888__1_8_5_1_1_1_1 n86_a_wilde_1_1888__1_8_5_1_1_2->n86_a_wilde_1_1888__1_8_5_1_1_2_1 n86_a_wilde_1_1888__1_8_5_1_1_3->n86_a_wilde_1_1888__1_8_5_1_1_3_1 n86_a_wilde_1_1888__1_8_5_1_2->n86_a_wilde_1_1888__1_8_5_1_2_1 n86_a_wilde_1_1888__1_8_6->n86_a_wilde_1_1888__1_8_6_1 n86_a_wilde_1_1888__1_8_7_1 NP-SBJ n86_a_wilde_1_1888__1_8_7->n86_a_wilde_1_1888__1_8_7_1 n86_a_wilde_1_1888__1_8_7_2 BED;_cat_Vg_ n86_a_wilde_1_1888__1_8_7->n86_a_wilde_1_1888__1_8_7_2 n86_a_wilde_1_1888__1_8_7_3 IP-PPL-CAT n86_a_wilde_1_1888__1_8_7->n86_a_wilde_1_1888__1_8_7_3 n86_a_wilde_1_1888__1_8_7_1_1 RPRO n86_a_wilde_1_1888__1_8_7_1->n86_a_wilde_1_1888__1_8_7_1_1 n86_a_wilde_1_1888__1_8_7_1_1->n86_a_wilde_1_1888__1_8_7_1_1_1 n86_a_wilde_1_1888__1_8_7_2->n86_a_wilde_1_1888__1_8_7_2_1 n86_a_wilde_1_1888__1_8_7_3_1 ADVP-NIM n86_a_wilde_1_1888__1_8_7_3->n86_a_wilde_1_1888__1_8_7_3_1 n86_a_wilde_1_1888__1_8_7_3_2 VAG;_Tn.pr_ n86_a_wilde_1_1888__1_8_7_3->n86_a_wilde_1_1888__1_8_7_3_2 n86_a_wilde_1_1888__1_8_7_3_3 NP-OB1 n86_a_wilde_1_1888__1_8_7_3->n86_a_wilde_1_1888__1_8_7_3_3 n86_a_wilde_1_1888__1_8_7_3_4 PP-CLR n86_a_wilde_1_1888__1_8_7_3->n86_a_wilde_1_1888__1_8_7_3_4 n86_a_wilde_1_1888__1_8_7_3_1_1 ADV n86_a_wilde_1_1888__1_8_7_3_1->n86_a_wilde_1_1888__1_8_7_3_1_1 n86_a_wilde_1_1888__1_8_7_3_1_1->n86_a_wilde_1_1888__1_8_7_3_1_1_1 n86_a_wilde_1_1888__1_8_7_3_2->n86_a_wilde_1_1888__1_8_7_3_2_1 n86_a_wilde_1_1888__1_8_7_3_3_1 NS n86_a_wilde_1_1888__1_8_7_3_3->n86_a_wilde_1_1888__1_8_7_3_3_1 n86_a_wilde_1_1888__1_8_7_3_3_1->n86_a_wilde_1_1888__1_8_7_3_3_1_1 n86_a_wilde_1_1888__1_8_7_3_4_1 P-ROLE n86_a_wilde_1_1888__1_8_7_3_4->n86_a_wilde_1_1888__1_8_7_3_4_1 n86_a_wilde_1_1888__1_8_7_3_4_2 NP n86_a_wilde_1_1888__1_8_7_3_4->n86_a_wilde_1_1888__1_8_7_3_4_2 n86_a_wilde_1_1888__1_8_7_3_4_1->n86_a_wilde_1_1888__1_8_7_3_4_1_1 n86_a_wilde_1_1888__1_8_7_3_4_2_1 PRO n86_a_wilde_1_1888__1_8_7_3_4_2->n86_a_wilde_1_1888__1_8_7_3_4_2_1 n86_a_wilde_1_1888__1_8_7_3_4_2_1->n86_a_wilde_1_1888__1_8_7_3_4_2_1_1 n86_a_wilde_1_1888__1_9->n86_a_wilde_1_1888__1_9_1 
( (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))