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_0133_0002__NIGHT,R_0133_0003__LONG,R_0133_0004__HE,R_0133_0006__THE_R_0133_0007__STARS,R_0133_0005__WATCHES,R_0133_0023__THEN,R_0133_0024__HE,R_0133_0026__SILENT,R_0133_0025__IS,R_0133_0009__AND_R_0133_0022__AND] :
      ( r_0133_0002__night(R_0133_0002__NIGHT)
      & r_0133_0004__he(R_0133_0004__HE)
      & r_0133_0006__the_r_0133_0007__stars(R_0133_0006__THE_R_0133_0007__STARS)
      & r_0133_0023__then(R_0133_0023__THEN)
      & r_0133_0024__he(R_0133_0024__HE)
      & r_0133_0026__silent(R_0133_0026__SILENT)
      & r_0133_0009__and_r_0133_0022__and(R_0133_0009__AND_R_0133_0022__AND)
      & has_conj3(R_0133_0009__AND_R_0133_0022__AND,R_0133_0025__IS)
      & r_0133_0025__is(R_0133_0025__IS)
      & has_prd(R_0133_0025__IS,R_0133_0026__SILENT)
      & has_arg0(R_0133_0025__IS,R_0133_0024__HE)
      & has_nim63(R_0133_0025__IS,R_0133_0023__THEN)
      & ! [R_0133_0014__SHINES,R_0133_0011__THE_R_0133_0012__MORNING_R_0133_0013__STAR] :
          ( ( r_0133_0011__the_r_0133_0012__morning_r_0133_0013__star(R_0133_0011__THE_R_0133_0012__MORNING_R_0133_0013__STAR)
            & r_0133_0014__shines(R_0133_0014__SHINES)
            & has_arg0(R_0133_0014__SHINES,R_0133_0011__THE_R_0133_0012__MORNING_R_0133_0013__STAR) )
         => ? [R_0133_0015__HE,R_0133_0020__JOY,R_0133_0017__ONE_R_0133_0018__CRY,R_0133_0016__UTTERS] :
              ( r_0133_0015__he(R_0133_0015__HE)
              & r_0133_0020__joy(R_0133_0020__JOY)
              & r_0133_0016__utters(R_0133_0016__UTTERS)
              & has_arg1(R_0133_0016__UTTERS,R_0133_0017__ONE_R_0133_0018__CRY)
              & r_0133_0017__one_r_0133_0018__cry(R_0133_0017__ONE_R_0133_0018__CRY)
              & has_r_0133_0019__of(R_0133_0017__ONE_R_0133_0018__CRY,R_0133_0020__JOY)
              & has_arg0(R_0133_0016__UTTERS,R_0133_0015__HE) ) )
      & has_conj1(R_0133_0009__AND_R_0133_0022__AND,R_0133_0005__WATCHES)
      & r_0133_0005__watches(R_0133_0005__WATCHES)
      & has_arg1(R_0133_0005__WATCHES,R_0133_0006__THE_R_0133_0007__STARS)
      & has_arg0(R_0133_0005__WATCHES,R_0133_0004__HE)
      & has_nim4(R_0133_0005__WATCHES,R_0133_0003__LONG)
      & r_0133_0003__long(R_0133_0003__LONG)
      & has_nim5(R_0133_0003__LONG,R_0133_0002__NIGHT)
      & ( r_0133_0002__night(R_0133_0002__NIGHT)
       => r_0133_0005__watches(R_0133_0005__WATCHES) ) ) ).


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))