Context                Previous, Next                Top


133_a_wilde_1_1888
All night long he watches the stars, and when the morning star shines he utters one cry of joy, and then he is silent.

%3 r_0133_0001__All_quant All [quant] r_0133_0002__night night r_0133_0001__All_quant->r_0133_0002__night [restriction] r_0133_0003__long long r_0133_0001__All_quant->r_0133_0003__long [scope] r_0133_0003__long->r_0133_0002__night [nim] r_0133_0005__watches watches r_0133_0005__watches->r_0133_0003__long [nim] r_0133_0004__he he r_0133_0005__watches->r_0133_0004__he [arg0] r_0133_0006__the_r_0133_0007__stars the stars r_0133_0005__watches->r_0133_0006__the_r_0133_0007__stars [arg1] r_0133_0009__and_r_0133_0022__and and and r_0133_0009__and_r_0133_0022__and->r_0133_0005__watches [conj1] r_0133_0010__when when r_0133_0009__and_r_0133_0022__and->r_0133_0010__when [conj2] r_0133_0025__is is r_0133_0009__and_r_0133_0022__and->r_0133_0025__is [conj3] r_0133_0014__shines shines r_0133_0010__when->r_0133_0014__shines [restriction] r_0133_0016__utters utters r_0133_0010__when->r_0133_0016__utters [scope] r_0133_0023__then then r_0133_0025__is->r_0133_0023__then [nim] r_0133_0024__he he r_0133_0025__is->r_0133_0024__he [arg0] r_0133_0026__silent silent r_0133_0025__is->r_0133_0026__silent [prd] r_0133_0011__the_r_0133_0012__morning_r_0133_0013__star the morning star r_0133_0014__shines->r_0133_0011__the_r_0133_0012__morning_r_0133_0013__star [arg0] r_0133_0015__he he r_0133_0016__utters->r_0133_0015__he [arg0] r_0133_0017__one_r_0133_0018__cry one cry r_0133_0016__utters->r_0133_0017__one_r_0133_0018__cry [arg1] r_0133_0020__joy joy r_0133_0017__one_r_0133_0018__cry->r_0133_0020__joy of 
arc(r_0133_0001__All_quant, r_0133_0002__night, restriction).
arc(r_0133_0001__All_quant, r_0133_0003__long, scope).
arc(r_0133_0003__long, r_0133_0002__night, nim5).
arc(r_0133_0005__watches, r_0133_0003__long, nim4).
arc(r_0133_0005__watches, r_0133_0004__he, arg0).
arc(r_0133_0005__watches, r_0133_0006__the_r_0133_0007__stars, arg1).
arc(r_0133_0009__and_r_0133_0022__and, r_0133_0005__watches, conj1).
arc(r_0133_0009__and_r_0133_0022__and, r_0133_0010__when, conj2).
arc(r_0133_0009__and_r_0133_0022__and, r_0133_0025__is, conj3).
arc(r_0133_0010__when, r_0133_0014__shines, restriction).
arc(r_0133_0010__when, r_0133_0016__utters, scope).
arc(r_0133_0014__shines, r_0133_0011__the_r_0133_0012__morning_r_0133_0013__star, arg0).
arc(r_0133_0016__utters, r_0133_0015__he, arg0).
arc(r_0133_0016__utters, r_0133_0017__one_r_0133_0018__cry, arg1).
arc(r_0133_0017__one_r_0133_0018__cry, r_0133_0020__joy, r_0133_0019__of).
arc(r_0133_0025__is, r_0133_0023__then, nim63).
arc(r_0133_0025__is, r_0133_0024__he, arg0).
arc(r_0133_0025__is, r_0133_0026__silent, prd).


%3 r_0133_0025__is is r_0133_0026__silent silent r_0133_0025__is->r_0133_0026__silent [prd] r_0133_0024__he he r_0133_0025__is->r_0133_0024__he [arg0] r_0133_0023__then then r_0133_0025__is->r_0133_0023__then [nim] r_0133_0017__one_r_0133_0018__cry one cry r_0133_0020__joy joy r_0133_0017__one_r_0133_0018__cry->r_0133_0020__joy of r_0133_0016__utters utters r_0133_0016__utters->r_0133_0017__one_r_0133_0018__cry [arg1] r_0133_0015__he he r_0133_0016__utters->r_0133_0015__he [arg0] r_0133_0014__shines shines r_0133_0011__the_r_0133_0012__morning_r_0133_0013__star the morning star r_0133_0014__shines->r_0133_0011__the_r_0133_0012__morning_r_0133_0013__star [arg0] r_0133_0010__when when r_0133_0010__when->r_0133_0016__utters [scope] r_0133_0010__when->r_0133_0014__shines [restriction] r_0133_0009__and_r_0133_0022__and and and r_0133_0009__and_r_0133_0022__and->r_0133_0025__is [conj3] r_0133_0009__and_r_0133_0022__and->r_0133_0010__when [conj2] r_0133_0005__watches watches r_0133_0009__and_r_0133_0022__and->r_0133_0005__watches [conj1] r_0133_0006__the_r_0133_0007__stars the stars r_0133_0005__watches->r_0133_0006__the_r_0133_0007__stars [arg1] r_0133_0004__he he r_0133_0005__watches->r_0133_0004__he [arg0] r_0133_0003__long long r_0133_0005__watches->r_0133_0003__long [nim] r_0133_0002__night night r_0133_0003__long->r_0133_0002__night [nim] r_0133_0001__All_quant All [quant] r_0133_0001__All_quant->r_0133_0005__watches [scope] r_0133_0001__All_quant->r_0133_0002__night [restriction] 
fof(formula,axiom,
    ? [R_133_9_AND_AND,R_133_5_WATCHES,R_133_4_HE,R_133_6_THE_STARS,R_133_3_LONG,R_133_2_NIGHT,R_133_25_IS,R_133_24_HE,R_133_23_THEN,R_133_26_SILENT] :
      ( he(R_133_4_HE)
      & the_stars(R_133_6_THE_STARS)
      & night(R_133_2_NIGHT)
      & he(R_133_24_HE)
      & then(R_133_23_THEN)
      & silent(R_133_26_SILENT)
      & ( true
       => true )
      & ! [R_133_14_SHINES,R_133_11_THE_MORNING_STAR] :
          ( ( the_morning_star(R_133_11_THE_MORNING_STAR)
            & shines(R_133_14_SHINES,R_133_11_THE_MORNING_STAR) )
         => ? [R_133_16_UTTERS,R_133_15_HE,R_133_17_ONE_CRY,R_133_20_JOY] :
              ( he(R_133_15_HE)
              & joy(R_133_20_JOY)
              & utters(R_133_16_UTTERS,R_133_15_HE,R_133_17_ONE_CRY)
              & one_cry(R_133_17_ONE_CRY)
              & of(R_133_17_ONE_CRY,R_133_20_JOY) ) )
      & conj2(CONJ2)
      & and_and(R_133_9_AND_AND)
      & conj1(R_133_9_AND_AND,R_133_5_WATCHES)
      & watches(R_133_5_WATCHES,R_133_4_HE,R_133_6_THE_STARS)
      & nim4(R_133_5_WATCHES,R_133_3_LONG)
      & long(R_133_3_LONG)
      & nim5(R_133_3_LONG,R_133_2_NIGHT)
      & conj3(R_133_9_AND_AND,R_133_25_IS)
      & is(R_133_25_IS,R_133_24_HE,R_133_26_SILENT)
      & nim63(R_133_25_IS,R_133_23_THEN) ) ).


n133_a_wilde_1_1888 n133_a_wilde_1_1888__1_1_1_1_1_1_1 All n133_a_wilde_1_1888__1_1_1_1_1_2_1 night n133_a_wilde_1_1888__1_1_1_1_2_1 long n133_a_wilde_1_1888__1_1_1_2_1_1 he n133_a_wilde_1_1888__1_1_1_3_1 watches n133_a_wilde_1_1888__1_1_1_4_1_1 the n133_a_wilde_1_1888__1_1_1_4_2_1 stars n133_a_wilde_1_1888__1_1_2_1 , n133_a_wilde_1_1888__1_1_3_1_1 and n133_a_wilde_1_1888__1_1_3_2_1_1_1 when n133_a_wilde_1_1888__1_1_3_2_1_2_1_1_1 the n133_a_wilde_1_1888__1_1_3_2_1_2_1_2_1 morning n133_a_wilde_1_1888__1_1_3_2_1_2_1_3_1 star n133_a_wilde_1_1888__1_1_3_2_1_2_2_1 shines n133_a_wilde_1_1888__1_1_3_2_2_1_1 he n133_a_wilde_1_1888__1_1_3_2_3_1 utters n133_a_wilde_1_1888__1_1_3_2_4_1_1 one n133_a_wilde_1_1888__1_1_3_2_4_2_1 cry n133_a_wilde_1_1888__1_1_3_2_4_3_1_1 of n133_a_wilde_1_1888__1_1_3_2_4_3_2_1_1 joy n133_a_wilde_1_1888__1_1_4_1 , n133_a_wilde_1_1888__1_1_5_1_1 and n133_a_wilde_1_1888__1_1_5_2_1_1_1 then n133_a_wilde_1_1888__1_1_5_2_2_1_1 he n133_a_wilde_1_1888__1_1_5_2_3_1 is n133_a_wilde_1_1888__1_1_5_2_4_1_1 silent n133_a_wilde_1_1888__1_2_1 . n133_a_wilde_1_1888__1 IP-MAT n133_a_wilde_1_1888__1_1 ILYR n133_a_wilde_1_1888__1->n133_a_wilde_1_1888__1_1 n133_a_wilde_1_1888__1_2 PUNC n133_a_wilde_1_1888__1->n133_a_wilde_1_1888__1_2 n133_a_wilde_1_1888__1_1_1 ILYR n133_a_wilde_1_1888__1_1->n133_a_wilde_1_1888__1_1_1 n133_a_wilde_1_1888__1_1_2 PUNC n133_a_wilde_1_1888__1_1->n133_a_wilde_1_1888__1_1_2 n133_a_wilde_1_1888__1_1_3 CONJP n133_a_wilde_1_1888__1_1->n133_a_wilde_1_1888__1_1_3 n133_a_wilde_1_1888__1_1_4 PUNC n133_a_wilde_1_1888__1_1->n133_a_wilde_1_1888__1_1_4 n133_a_wilde_1_1888__1_1_5 CONJP n133_a_wilde_1_1888__1_1->n133_a_wilde_1_1888__1_1_5 n133_a_wilde_1_1888__1_1_1_1 ADVP-NIM n133_a_wilde_1_1888__1_1_1->n133_a_wilde_1_1888__1_1_1_1 n133_a_wilde_1_1888__1_1_1_2 NP-SBJ n133_a_wilde_1_1888__1_1_1->n133_a_wilde_1_1888__1_1_1_2 n133_a_wilde_1_1888__1_1_1_3 VBP;_Tn_ n133_a_wilde_1_1888__1_1_1->n133_a_wilde_1_1888__1_1_1_3 n133_a_wilde_1_1888__1_1_1_4 NP-OB1 n133_a_wilde_1_1888__1_1_1->n133_a_wilde_1_1888__1_1_1_4 n133_a_wilde_1_1888__1_1_1_1_1 NP n133_a_wilde_1_1888__1_1_1_1->n133_a_wilde_1_1888__1_1_1_1_1 n133_a_wilde_1_1888__1_1_1_1_2 ADV n133_a_wilde_1_1888__1_1_1_1->n133_a_wilde_1_1888__1_1_1_1_2 n133_a_wilde_1_1888__1_1_1_1_1_1 Q n133_a_wilde_1_1888__1_1_1_1_1->n133_a_wilde_1_1888__1_1_1_1_1_1 n133_a_wilde_1_1888__1_1_1_1_1_2 N n133_a_wilde_1_1888__1_1_1_1_1->n133_a_wilde_1_1888__1_1_1_1_1_2 n133_a_wilde_1_1888__1_1_1_1_1_1->n133_a_wilde_1_1888__1_1_1_1_1_1_1 n133_a_wilde_1_1888__1_1_1_1_1_2->n133_a_wilde_1_1888__1_1_1_1_1_2_1 n133_a_wilde_1_1888__1_1_1_1_2->n133_a_wilde_1_1888__1_1_1_1_2_1 n133_a_wilde_1_1888__1_1_1_2_1 PRO n133_a_wilde_1_1888__1_1_1_2->n133_a_wilde_1_1888__1_1_1_2_1 n133_a_wilde_1_1888__1_1_1_2_1->n133_a_wilde_1_1888__1_1_1_2_1_1 n133_a_wilde_1_1888__1_1_1_3->n133_a_wilde_1_1888__1_1_1_3_1 n133_a_wilde_1_1888__1_1_1_4_1 D n133_a_wilde_1_1888__1_1_1_4->n133_a_wilde_1_1888__1_1_1_4_1 n133_a_wilde_1_1888__1_1_1_4_2 NS n133_a_wilde_1_1888__1_1_1_4->n133_a_wilde_1_1888__1_1_1_4_2 n133_a_wilde_1_1888__1_1_1_4_1->n133_a_wilde_1_1888__1_1_1_4_1_1 n133_a_wilde_1_1888__1_1_1_4_2->n133_a_wilde_1_1888__1_1_1_4_2_1 n133_a_wilde_1_1888__1_1_2->n133_a_wilde_1_1888__1_1_2_1 n133_a_wilde_1_1888__1_1_3_1 CONJ n133_a_wilde_1_1888__1_1_3->n133_a_wilde_1_1888__1_1_3_1 n133_a_wilde_1_1888__1_1_3_2 ILYR n133_a_wilde_1_1888__1_1_3->n133_a_wilde_1_1888__1_1_3_2 n133_a_wilde_1_1888__1_1_3_1->n133_a_wilde_1_1888__1_1_3_1_1 n133_a_wilde_1_1888__1_1_3_2_1 PP-SCON n133_a_wilde_1_1888__1_1_3_2->n133_a_wilde_1_1888__1_1_3_2_1 n133_a_wilde_1_1888__1_1_3_2_2 NP-SBJ n133_a_wilde_1_1888__1_1_3_2->n133_a_wilde_1_1888__1_1_3_2_2 n133_a_wilde_1_1888__1_1_3_2_3 VBP;_Tn_ n133_a_wilde_1_1888__1_1_3_2->n133_a_wilde_1_1888__1_1_3_2_3 n133_a_wilde_1_1888__1_1_3_2_4 NP-OB1 n133_a_wilde_1_1888__1_1_3_2->n133_a_wilde_1_1888__1_1_3_2_4 n133_a_wilde_1_1888__1_1_3_2_1_1 P-CONN n133_a_wilde_1_1888__1_1_3_2_1->n133_a_wilde_1_1888__1_1_3_2_1_1 n133_a_wilde_1_1888__1_1_3_2_1_2 IP-ADV n133_a_wilde_1_1888__1_1_3_2_1->n133_a_wilde_1_1888__1_1_3_2_1_2 n133_a_wilde_1_1888__1_1_3_2_1_1->n133_a_wilde_1_1888__1_1_3_2_1_1_1 n133_a_wilde_1_1888__1_1_3_2_1_2_1 NP-SBJ n133_a_wilde_1_1888__1_1_3_2_1_2->n133_a_wilde_1_1888__1_1_3_2_1_2_1 n133_a_wilde_1_1888__1_1_3_2_1_2_2 VBP;_I_ n133_a_wilde_1_1888__1_1_3_2_1_2->n133_a_wilde_1_1888__1_1_3_2_1_2_2 n133_a_wilde_1_1888__1_1_3_2_1_2_1_1 D n133_a_wilde_1_1888__1_1_3_2_1_2_1->n133_a_wilde_1_1888__1_1_3_2_1_2_1_1 n133_a_wilde_1_1888__1_1_3_2_1_2_1_2 N n133_a_wilde_1_1888__1_1_3_2_1_2_1->n133_a_wilde_1_1888__1_1_3_2_1_2_1_2 n133_a_wilde_1_1888__1_1_3_2_1_2_1_3 N n133_a_wilde_1_1888__1_1_3_2_1_2_1->n133_a_wilde_1_1888__1_1_3_2_1_2_1_3 n133_a_wilde_1_1888__1_1_3_2_1_2_1_1->n133_a_wilde_1_1888__1_1_3_2_1_2_1_1_1 n133_a_wilde_1_1888__1_1_3_2_1_2_1_2->n133_a_wilde_1_1888__1_1_3_2_1_2_1_2_1 n133_a_wilde_1_1888__1_1_3_2_1_2_1_3->n133_a_wilde_1_1888__1_1_3_2_1_2_1_3_1 n133_a_wilde_1_1888__1_1_3_2_1_2_2->n133_a_wilde_1_1888__1_1_3_2_1_2_2_1 n133_a_wilde_1_1888__1_1_3_2_2_1 PRO n133_a_wilde_1_1888__1_1_3_2_2->n133_a_wilde_1_1888__1_1_3_2_2_1 n133_a_wilde_1_1888__1_1_3_2_2_1->n133_a_wilde_1_1888__1_1_3_2_2_1_1 n133_a_wilde_1_1888__1_1_3_2_3->n133_a_wilde_1_1888__1_1_3_2_3_1 n133_a_wilde_1_1888__1_1_3_2_4_1 NUM n133_a_wilde_1_1888__1_1_3_2_4->n133_a_wilde_1_1888__1_1_3_2_4_1 n133_a_wilde_1_1888__1_1_3_2_4_2 N n133_a_wilde_1_1888__1_1_3_2_4->n133_a_wilde_1_1888__1_1_3_2_4_2 n133_a_wilde_1_1888__1_1_3_2_4_3 PP n133_a_wilde_1_1888__1_1_3_2_4->n133_a_wilde_1_1888__1_1_3_2_4_3 n133_a_wilde_1_1888__1_1_3_2_4_1->n133_a_wilde_1_1888__1_1_3_2_4_1_1 n133_a_wilde_1_1888__1_1_3_2_4_2->n133_a_wilde_1_1888__1_1_3_2_4_2_1 n133_a_wilde_1_1888__1_1_3_2_4_3_1 P-ROLE n133_a_wilde_1_1888__1_1_3_2_4_3->n133_a_wilde_1_1888__1_1_3_2_4_3_1 n133_a_wilde_1_1888__1_1_3_2_4_3_2 NP n133_a_wilde_1_1888__1_1_3_2_4_3->n133_a_wilde_1_1888__1_1_3_2_4_3_2 n133_a_wilde_1_1888__1_1_3_2_4_3_1->n133_a_wilde_1_1888__1_1_3_2_4_3_1_1 n133_a_wilde_1_1888__1_1_3_2_4_3_2_1 N n133_a_wilde_1_1888__1_1_3_2_4_3_2->n133_a_wilde_1_1888__1_1_3_2_4_3_2_1 n133_a_wilde_1_1888__1_1_3_2_4_3_2_1->n133_a_wilde_1_1888__1_1_3_2_4_3_2_1_1 n133_a_wilde_1_1888__1_1_4->n133_a_wilde_1_1888__1_1_4_1 n133_a_wilde_1_1888__1_1_5_1 CONJ n133_a_wilde_1_1888__1_1_5->n133_a_wilde_1_1888__1_1_5_1 n133_a_wilde_1_1888__1_1_5_2 ILYR n133_a_wilde_1_1888__1_1_5->n133_a_wilde_1_1888__1_1_5_2 n133_a_wilde_1_1888__1_1_5_1->n133_a_wilde_1_1888__1_1_5_1_1 n133_a_wilde_1_1888__1_1_5_2_1 ADVP-NIM n133_a_wilde_1_1888__1_1_5_2->n133_a_wilde_1_1888__1_1_5_2_1 n133_a_wilde_1_1888__1_1_5_2_2 NP-SBJ n133_a_wilde_1_1888__1_1_5_2->n133_a_wilde_1_1888__1_1_5_2_2 n133_a_wilde_1_1888__1_1_5_2_3 BEP;_La_ n133_a_wilde_1_1888__1_1_5_2->n133_a_wilde_1_1888__1_1_5_2_3 n133_a_wilde_1_1888__1_1_5_2_4 ADJP-PRD n133_a_wilde_1_1888__1_1_5_2->n133_a_wilde_1_1888__1_1_5_2_4 n133_a_wilde_1_1888__1_1_5_2_1_1 ADV n133_a_wilde_1_1888__1_1_5_2_1->n133_a_wilde_1_1888__1_1_5_2_1_1 n133_a_wilde_1_1888__1_1_5_2_1_1->n133_a_wilde_1_1888__1_1_5_2_1_1_1 n133_a_wilde_1_1888__1_1_5_2_2_1 PRO n133_a_wilde_1_1888__1_1_5_2_2->n133_a_wilde_1_1888__1_1_5_2_2_1 n133_a_wilde_1_1888__1_1_5_2_2_1->n133_a_wilde_1_1888__1_1_5_2_2_1_1 n133_a_wilde_1_1888__1_1_5_2_3->n133_a_wilde_1_1888__1_1_5_2_3_1 n133_a_wilde_1_1888__1_1_5_2_4_1 ADJ n133_a_wilde_1_1888__1_1_5_2_4->n133_a_wilde_1_1888__1_1_5_2_4_1 n133_a_wilde_1_1888__1_1_5_2_4_1->n133_a_wilde_1_1888__1_1_5_2_4_1_1 n133_a_wilde_1_1888__1_2->n133_a_wilde_1_1888__1_2_1 
( (IP-MAT (ILYR (ILYR (ADVP-NIM (NP (Q All;{all})
                                    (N night;{night}))
                                (ADV long;{long}))
                      (NP-SBJ;{MEMNON} (PRO he;{he}))
                      (VBP;_Tn_ watches;{watch})
                      (NP-OB1 (D the;{the})
                              (NS stars;{star})))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (PP-SCON (P-CONN when;{when})
                                      (IP-ADV (NP-SBJ (D the;{the})
                                                      (N morning;{morning})
                                                      (N star;{star}))
                                              (VBP;_I_ shines;{shin})))
                             (NP-SBJ;{MEMNON} (PRO he;{he}))
                             (VBP;_Tn_ utters;{utter})
                             (NP-OB1 (NUM one;{one})
                                     (N cry;{cry})
                                     (PP (P-ROLE of;{of})
                                         (NP (N joy;{joy}))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (ADVP-NIM (ADV then;{then}))
                             (NP-SBJ;{MEMNON} (PRO he;{he}))
                             (BEP;_La_ is;{be})
                             (ADJP-PRD (ADJ silent;{silent})))))
          (PUNC .))
  (ID 133_a_wilde_1_1888))