Context                Previous, Next                Top


27_a_wilde_1_1888
And certainly, whenever the wind blew, the Reed made the most graceful curtseys.

%3 r_0027_0001__And_r_0027_0011__made And made r_0027_0002__certainly certainly r_0027_0001__And_r_0027_0011__made->r_0027_0002__certainly [nim] r_0027_0009__the_r_0027_0010__Reed the Reed r_0027_0001__And_r_0027_0011__made->r_0027_0009__the_r_0027_0010__Reed [arg0] r_0027_0012__the_r_0027_0015__curtseys the curtseys r_0027_0001__And_r_0027_0011__made->r_0027_0012__the_r_0027_0015__curtseys [arg1] r_0027_0014__graceful graceful r_0027_0012__the_r_0027_0015__curtseys->r_0027_0014__graceful [attrib] r_0027_0004__whenever whenever r_0027_0004__whenever->r_0027_0001__And_r_0027_0011__made [scope] r_0027_0007__blew blew r_0027_0004__whenever->r_0027_0007__blew [restriction] r_0027_0005__the_r_0027_0006__wind the wind r_0027_0007__blew->r_0027_0005__the_r_0027_0006__wind [arg0] r_0027_0013__most most r_0027_0014__graceful->r_0027_0013__most [qual] 
arc(r_0027_0001__And_r_0027_0011__made, r_0027_0002__certainly, nim4).
arc(r_0027_0001__And_r_0027_0011__made, r_0027_0009__the_r_0027_0010__Reed, arg0).
arc(r_0027_0001__And_r_0027_0011__made, r_0027_0012__the_r_0027_0015__curtseys, arg1).
arc(r_0027_0004__whenever, r_0027_0001__And_r_0027_0011__made, scope).
arc(r_0027_0004__whenever, r_0027_0007__blew, restriction).
arc(r_0027_0007__blew, r_0027_0005__the_r_0027_0006__wind, arg0).
arc(r_0027_0012__the_r_0027_0015__curtseys, r_0027_0014__graceful, attrib32).
arc(r_0027_0014__graceful, r_0027_0013__most, qual33).


%3 r_0027_0014__graceful graceful r_0027_0013__most most r_0027_0014__graceful->r_0027_0013__most [qual] r_0027_0012__the_r_0027_0015__curtseys the curtseys r_0027_0012__the_r_0027_0015__curtseys->r_0027_0014__graceful [attrib] r_0027_0007__blew blew r_0027_0005__the_r_0027_0006__wind the wind r_0027_0007__blew->r_0027_0005__the_r_0027_0006__wind [arg0] r_0027_0004__whenever whenever r_0027_0004__whenever->r_0027_0007__blew [restriction] r_0027_0001__And_r_0027_0011__made And made r_0027_0004__whenever->r_0027_0001__And_r_0027_0011__made [scope] r_0027_0001__And_r_0027_0011__made->r_0027_0012__the_r_0027_0015__curtseys [arg1] r_0027_0009__the_r_0027_0010__Reed the Reed r_0027_0001__And_r_0027_0011__made->r_0027_0009__the_r_0027_0010__Reed [arg0] r_0027_0002__certainly certainly r_0027_0001__And_r_0027_0011__made->r_0027_0002__certainly [nim] 
fof(formula,axiom,
    ! [R_27_7_BLEW,R_27_5_THE_WIND] :
      ( ( the_wind(R_27_5_THE_WIND)
        & blew(R_27_7_BLEW,R_27_5_THE_WIND) )
     => ? [R_27_1_AND_MADE,R_27_9_THE_REED,R_27_12_THE_CURTSEYS,R_27_14_GRACEFUL,R_27_13_MOST,R_27_2_CERTAINLY] :
          ( the_Reed(R_27_9_THE_REED)
          & most(R_27_13_MOST)
          & certainly(R_27_2_CERTAINLY)
          & and_made(R_27_1_AND_MADE,R_27_9_THE_REED,R_27_12_THE_CURTSEYS)
          & the_curtseys(R_27_12_THE_CURTSEYS)
          & attrib32(R_27_12_THE_CURTSEYS,R_27_14_GRACEFUL)
          & graceful(R_27_14_GRACEFUL)
          & qual33(R_27_14_GRACEFUL,R_27_13_MOST)
          & nim4(R_27_1_AND_MADE,R_27_2_CERTAINLY) ) ) ).


n27_a_wilde_1_1888 n27_a_wilde_1_1888__1_1_1 And n27_a_wilde_1_1888__1_2_1_1 certainly n27_a_wilde_1_1888__1_3_1 , n27_a_wilde_1_1888__1_4_1_1 whenever n27_a_wilde_1_1888__1_4_2_1_1_1 the n27_a_wilde_1_1888__1_4_2_1_2_1 wind n27_a_wilde_1_1888__1_4_2_2_1 blew n27_a_wilde_1_1888__1_5_1 , n27_a_wilde_1_1888__1_6_1_1 the n27_a_wilde_1_1888__1_6_2_1 Reed n27_a_wilde_1_1888__1_7_1 made n27_a_wilde_1_1888__1_8_1_1 the n27_a_wilde_1_1888__1_8_2_1_1_1 most n27_a_wilde_1_1888__1_8_2_2_1 graceful n27_a_wilde_1_1888__1_8_3_1 curtseys n27_a_wilde_1_1888__1_9_1 . n27_a_wilde_1_1888__1 IP-MAT n27_a_wilde_1_1888__1_1 CONJ;_cl_ n27_a_wilde_1_1888__1->n27_a_wilde_1_1888__1_1 n27_a_wilde_1_1888__1_2 ADVP-NIM n27_a_wilde_1_1888__1->n27_a_wilde_1_1888__1_2 n27_a_wilde_1_1888__1_3 PUNC n27_a_wilde_1_1888__1->n27_a_wilde_1_1888__1_3 n27_a_wilde_1_1888__1_4 PP-SCON n27_a_wilde_1_1888__1->n27_a_wilde_1_1888__1_4 n27_a_wilde_1_1888__1_5 PUNC n27_a_wilde_1_1888__1->n27_a_wilde_1_1888__1_5 n27_a_wilde_1_1888__1_6 NP-SBJ n27_a_wilde_1_1888__1->n27_a_wilde_1_1888__1_6 n27_a_wilde_1_1888__1_7 VBD;_Tn_ n27_a_wilde_1_1888__1->n27_a_wilde_1_1888__1_7 n27_a_wilde_1_1888__1_8 NP-OB1 n27_a_wilde_1_1888__1->n27_a_wilde_1_1888__1_8 n27_a_wilde_1_1888__1_9 PUNC n27_a_wilde_1_1888__1->n27_a_wilde_1_1888__1_9 n27_a_wilde_1_1888__1_1->n27_a_wilde_1_1888__1_1_1 n27_a_wilde_1_1888__1_2_1 ADV n27_a_wilde_1_1888__1_2->n27_a_wilde_1_1888__1_2_1 n27_a_wilde_1_1888__1_2_1->n27_a_wilde_1_1888__1_2_1_1 n27_a_wilde_1_1888__1_3->n27_a_wilde_1_1888__1_3_1 n27_a_wilde_1_1888__1_4_1 P-CONN n27_a_wilde_1_1888__1_4->n27_a_wilde_1_1888__1_4_1 n27_a_wilde_1_1888__1_4_2 IP-ADV n27_a_wilde_1_1888__1_4->n27_a_wilde_1_1888__1_4_2 n27_a_wilde_1_1888__1_4_1->n27_a_wilde_1_1888__1_4_1_1 n27_a_wilde_1_1888__1_4_2_1 NP-SBJ n27_a_wilde_1_1888__1_4_2->n27_a_wilde_1_1888__1_4_2_1 n27_a_wilde_1_1888__1_4_2_2 VBD;_I_ n27_a_wilde_1_1888__1_4_2->n27_a_wilde_1_1888__1_4_2_2 n27_a_wilde_1_1888__1_4_2_1_1 D n27_a_wilde_1_1888__1_4_2_1->n27_a_wilde_1_1888__1_4_2_1_1 n27_a_wilde_1_1888__1_4_2_1_2 N n27_a_wilde_1_1888__1_4_2_1->n27_a_wilde_1_1888__1_4_2_1_2 n27_a_wilde_1_1888__1_4_2_1_1->n27_a_wilde_1_1888__1_4_2_1_1_1 n27_a_wilde_1_1888__1_4_2_1_2->n27_a_wilde_1_1888__1_4_2_1_2_1 n27_a_wilde_1_1888__1_4_2_2->n27_a_wilde_1_1888__1_4_2_2_1 n27_a_wilde_1_1888__1_5->n27_a_wilde_1_1888__1_5_1 n27_a_wilde_1_1888__1_6_1 D n27_a_wilde_1_1888__1_6->n27_a_wilde_1_1888__1_6_1 n27_a_wilde_1_1888__1_6_2 N n27_a_wilde_1_1888__1_6->n27_a_wilde_1_1888__1_6_2 n27_a_wilde_1_1888__1_6_1->n27_a_wilde_1_1888__1_6_1_1 n27_a_wilde_1_1888__1_6_2->n27_a_wilde_1_1888__1_6_2_1 n27_a_wilde_1_1888__1_7->n27_a_wilde_1_1888__1_7_1 n27_a_wilde_1_1888__1_8_1 D n27_a_wilde_1_1888__1_8->n27_a_wilde_1_1888__1_8_1 n27_a_wilde_1_1888__1_8_2 ADJP n27_a_wilde_1_1888__1_8->n27_a_wilde_1_1888__1_8_2 n27_a_wilde_1_1888__1_8_3 NS n27_a_wilde_1_1888__1_8->n27_a_wilde_1_1888__1_8_3 n27_a_wilde_1_1888__1_8_1->n27_a_wilde_1_1888__1_8_1_1 n27_a_wilde_1_1888__1_8_2_1 ADVP n27_a_wilde_1_1888__1_8_2->n27_a_wilde_1_1888__1_8_2_1 n27_a_wilde_1_1888__1_8_2_2 ADJ n27_a_wilde_1_1888__1_8_2->n27_a_wilde_1_1888__1_8_2_2 n27_a_wilde_1_1888__1_8_2_1_1 ADVS n27_a_wilde_1_1888__1_8_2_1->n27_a_wilde_1_1888__1_8_2_1_1 n27_a_wilde_1_1888__1_8_2_1_1->n27_a_wilde_1_1888__1_8_2_1_1_1 n27_a_wilde_1_1888__1_8_2_2->n27_a_wilde_1_1888__1_8_2_2_1 n27_a_wilde_1_1888__1_8_3->n27_a_wilde_1_1888__1_8_3_1 n27_a_wilde_1_1888__1_9->n27_a_wilde_1_1888__1_9_1 
( (IP-MAT (CONJ;_cl_ And;{and})
          (ADVP-NIM (ADV certainly;{certainly}))
          (PUNC ,)
          (PP-SCON (P-CONN whenever;{whenever})
                   (IP-ADV (NP-SBJ (D the;{the})
                                   (N wind;{wind}))
                           (VBD;_I_ blew;{blow})))
          (PUNC ,)
          (NP-SBJ;{REED} (D the;{the})
                         (N Reed;{reed}))
          (VBD;_Tn_ made;{make})
          (NP-OB1 (D the;{the})
                  (ADJP (ADVP (ADVS most;{most}))
                        (ADJ graceful;{graceful}))
                  (NS curtseys;{curtsey}))
          (PUNC .))
  (ID 27_a_wilde_1_1888))