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_0001__All_quant All [quant] r_0133_0002__night night r_0133_0001__All_quant->r_0133_0002__night [restriction] r_0133_0005__watches watches r_0133_0001__All_quant->r_0133_0005__watches [scope] r_0133_0003__long long 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_0003__long->r_0133_0002__night [nim] 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 
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_7 All n133_a_wilde_1_1888_9 night n133_a_wilde_1_1888_11 long n133_a_wilde_1_1888_14 he n133_a_wilde_1_1888_16 watches n133_a_wilde_1_1888_19 the n133_a_wilde_1_1888_21 stars n133_a_wilde_1_1888_23 , n133_a_wilde_1_1888_26 and n133_a_wilde_1_1888_30 when n133_a_wilde_1_1888_34 the n133_a_wilde_1_1888_36 morning n133_a_wilde_1_1888_38 star n133_a_wilde_1_1888_40 shines n133_a_wilde_1_1888_43 he n133_a_wilde_1_1888_45 utters n133_a_wilde_1_1888_48 one n133_a_wilde_1_1888_50 cry n133_a_wilde_1_1888_53 of n133_a_wilde_1_1888_56 joy n133_a_wilde_1_1888_58 , n133_a_wilde_1_1888_61 and n133_a_wilde_1_1888_65 then n133_a_wilde_1_1888_68 he n133_a_wilde_1_1888_70 is n133_a_wilde_1_1888_73 silent n133_a_wilde_1_1888_75 . n133_a_wilde_1_1888_1 IP-MAT n133_a_wilde_1_1888_2 ILYR n133_a_wilde_1_1888_1->n133_a_wilde_1_1888_2 n133_a_wilde_1_1888_74 PUNC n133_a_wilde_1_1888_1->n133_a_wilde_1_1888_74 n133_a_wilde_1_1888_3 ILYR n133_a_wilde_1_1888_2->n133_a_wilde_1_1888_3 n133_a_wilde_1_1888_22 PUNC n133_a_wilde_1_1888_2->n133_a_wilde_1_1888_22 n133_a_wilde_1_1888_24 CONJP n133_a_wilde_1_1888_2->n133_a_wilde_1_1888_24 n133_a_wilde_1_1888_57 PUNC n133_a_wilde_1_1888_2->n133_a_wilde_1_1888_57 n133_a_wilde_1_1888_59 CONJP n133_a_wilde_1_1888_2->n133_a_wilde_1_1888_59 n133_a_wilde_1_1888_4 ADVP-NIM n133_a_wilde_1_1888_3->n133_a_wilde_1_1888_4 n133_a_wilde_1_1888_12 NP-SBJ n133_a_wilde_1_1888_3->n133_a_wilde_1_1888_12 n133_a_wilde_1_1888_15 VBP;_Tn_ n133_a_wilde_1_1888_3->n133_a_wilde_1_1888_15 n133_a_wilde_1_1888_17 NP-OB1 n133_a_wilde_1_1888_3->n133_a_wilde_1_1888_17 n133_a_wilde_1_1888_5 NP n133_a_wilde_1_1888_4->n133_a_wilde_1_1888_5 n133_a_wilde_1_1888_10 ADV n133_a_wilde_1_1888_4->n133_a_wilde_1_1888_10 n133_a_wilde_1_1888_6 Q n133_a_wilde_1_1888_5->n133_a_wilde_1_1888_6 n133_a_wilde_1_1888_8 N n133_a_wilde_1_1888_5->n133_a_wilde_1_1888_8 n133_a_wilde_1_1888_6->n133_a_wilde_1_1888_7 n133_a_wilde_1_1888_8->n133_a_wilde_1_1888_9 n133_a_wilde_1_1888_10->n133_a_wilde_1_1888_11 n133_a_wilde_1_1888_13 PRO n133_a_wilde_1_1888_12->n133_a_wilde_1_1888_13 n133_a_wilde_1_1888_13->n133_a_wilde_1_1888_14 n133_a_wilde_1_1888_15->n133_a_wilde_1_1888_16 n133_a_wilde_1_1888_18 D n133_a_wilde_1_1888_17->n133_a_wilde_1_1888_18 n133_a_wilde_1_1888_20 NS n133_a_wilde_1_1888_17->n133_a_wilde_1_1888_20 n133_a_wilde_1_1888_18->n133_a_wilde_1_1888_19 n133_a_wilde_1_1888_20->n133_a_wilde_1_1888_21 n133_a_wilde_1_1888_22->n133_a_wilde_1_1888_23 n133_a_wilde_1_1888_25 CONJ n133_a_wilde_1_1888_24->n133_a_wilde_1_1888_25 n133_a_wilde_1_1888_27 ILYR n133_a_wilde_1_1888_24->n133_a_wilde_1_1888_27 n133_a_wilde_1_1888_25->n133_a_wilde_1_1888_26 n133_a_wilde_1_1888_28 PP-SCON n133_a_wilde_1_1888_27->n133_a_wilde_1_1888_28 n133_a_wilde_1_1888_41 NP-SBJ n133_a_wilde_1_1888_27->n133_a_wilde_1_1888_41 n133_a_wilde_1_1888_44 VBP;_Tn_ n133_a_wilde_1_1888_27->n133_a_wilde_1_1888_44 n133_a_wilde_1_1888_46 NP-OB1 n133_a_wilde_1_1888_27->n133_a_wilde_1_1888_46 n133_a_wilde_1_1888_29 P-CONN n133_a_wilde_1_1888_28->n133_a_wilde_1_1888_29 n133_a_wilde_1_1888_31 IP-ADV n133_a_wilde_1_1888_28->n133_a_wilde_1_1888_31 n133_a_wilde_1_1888_29->n133_a_wilde_1_1888_30 n133_a_wilde_1_1888_32 NP-SBJ n133_a_wilde_1_1888_31->n133_a_wilde_1_1888_32 n133_a_wilde_1_1888_39 VBP;_I_ n133_a_wilde_1_1888_31->n133_a_wilde_1_1888_39 n133_a_wilde_1_1888_33 D n133_a_wilde_1_1888_32->n133_a_wilde_1_1888_33 n133_a_wilde_1_1888_35 N n133_a_wilde_1_1888_32->n133_a_wilde_1_1888_35 n133_a_wilde_1_1888_37 N n133_a_wilde_1_1888_32->n133_a_wilde_1_1888_37 n133_a_wilde_1_1888_33->n133_a_wilde_1_1888_34 n133_a_wilde_1_1888_35->n133_a_wilde_1_1888_36 n133_a_wilde_1_1888_37->n133_a_wilde_1_1888_38 n133_a_wilde_1_1888_39->n133_a_wilde_1_1888_40 n133_a_wilde_1_1888_42 PRO n133_a_wilde_1_1888_41->n133_a_wilde_1_1888_42 n133_a_wilde_1_1888_42->n133_a_wilde_1_1888_43 n133_a_wilde_1_1888_44->n133_a_wilde_1_1888_45 n133_a_wilde_1_1888_47 NUM n133_a_wilde_1_1888_46->n133_a_wilde_1_1888_47 n133_a_wilde_1_1888_49 N n133_a_wilde_1_1888_46->n133_a_wilde_1_1888_49 n133_a_wilde_1_1888_51 PP n133_a_wilde_1_1888_46->n133_a_wilde_1_1888_51 n133_a_wilde_1_1888_47->n133_a_wilde_1_1888_48 n133_a_wilde_1_1888_49->n133_a_wilde_1_1888_50 n133_a_wilde_1_1888_52 P-ROLE n133_a_wilde_1_1888_51->n133_a_wilde_1_1888_52 n133_a_wilde_1_1888_54 NP n133_a_wilde_1_1888_51->n133_a_wilde_1_1888_54 n133_a_wilde_1_1888_52->n133_a_wilde_1_1888_53 n133_a_wilde_1_1888_55 N n133_a_wilde_1_1888_54->n133_a_wilde_1_1888_55 n133_a_wilde_1_1888_55->n133_a_wilde_1_1888_56 n133_a_wilde_1_1888_57->n133_a_wilde_1_1888_58 n133_a_wilde_1_1888_60 CONJ n133_a_wilde_1_1888_59->n133_a_wilde_1_1888_60 n133_a_wilde_1_1888_62 ILYR n133_a_wilde_1_1888_59->n133_a_wilde_1_1888_62 n133_a_wilde_1_1888_60->n133_a_wilde_1_1888_61 n133_a_wilde_1_1888_63 ADVP-NIM n133_a_wilde_1_1888_62->n133_a_wilde_1_1888_63 n133_a_wilde_1_1888_66 NP-SBJ n133_a_wilde_1_1888_62->n133_a_wilde_1_1888_66 n133_a_wilde_1_1888_69 BEP;_La_ n133_a_wilde_1_1888_62->n133_a_wilde_1_1888_69 n133_a_wilde_1_1888_71 ADJP-PRD n133_a_wilde_1_1888_62->n133_a_wilde_1_1888_71 n133_a_wilde_1_1888_64 ADV n133_a_wilde_1_1888_63->n133_a_wilde_1_1888_64 n133_a_wilde_1_1888_64->n133_a_wilde_1_1888_65 n133_a_wilde_1_1888_67 PRO n133_a_wilde_1_1888_66->n133_a_wilde_1_1888_67 n133_a_wilde_1_1888_67->n133_a_wilde_1_1888_68 n133_a_wilde_1_1888_69->n133_a_wilde_1_1888_70 n133_a_wilde_1_1888_72 ADJ n133_a_wilde_1_1888_71->n133_a_wilde_1_1888_72 n133_a_wilde_1_1888_72->n133_a_wilde_1_1888_73 n133_a_wilde_1_1888_74->n133_a_wilde_1_1888_75 
( (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))