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.
( (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))
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,nim).
arc(r_0133_0005__watches,r_0133_0003__long,nim).
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_0004__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_0004__he,arg0).
arc(r_0133_0025__is,r_0133_0023__then,nim).
arc(r_0133_0025__is,r_0133_0026__silent,prd).
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_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_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_nim(R_0133_0025__IS,R_0133_0023__THEN)
& has_arg0(R_0133_0025__IS,R_0133_0004__HE)
& ! [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_0020__JOY,R_0133_0017__ONE_R_0133_0018__CRY,R_0133_0016__UTTERS] :
( 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_0004__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_nim(R_0133_0005__WATCHES,R_0133_0003__LONG)
& r_0133_0003__long(R_0133_0003__LONG)
& has_nim(R_0133_0003__LONG,R_0133_0002__NIGHT)
& ( r_0133_0002__night(R_0133_0002__NIGHT)
=> r_0133_0005__watches(R_0133_0005__WATCHES) ) ) ).